Login / Signup
On the Representation of Semigroups and Other Congruences in the Lambda Calculus.
Rick Statman
Published in:
MFPS (2016)
Keyphrases
</>
lambda calculus
predicate calculus
database
data structure