19 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.LO2018
Encoding many-valued logic in -calculus
Fer-Jan de Vries
We will extend the well-known Church encoding of Boolean logic into -calculus to an encoding of McCarthy's -valued logic into a suitable infinitary extension of -calculus…
cs.LO2013★ 19 cited
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Alexander Kurz, Daniela Luan Petrişan, Paula Severi +1
We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. W…