311 citations · 1.2k across the 38 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
stat.OT2018
On the mathematics of the free-choice paradigm
Peter Selinger, Kristopher Tapp
Chen and Risen pointed out a logical flaw affecting the conclusions of a number of past experiments that used the free-choice paradigm to measure choice-induced attitude change. Th…
cs.LO2018★ 3 cited
Dependently Typed Folds for Nested Data Types
Peng Fu, Peter Selinger
We present an approach to develop folds for nested data types using dependent types. We call such folds , they have the following properties. (1)…