Lambda calculus-related terms

YanyanR / pl-urban-dictionary

an urban dictionary style glossary for PL terms

5 stars 0 forks source link

Open tchajed opened 3 years ago

tchajed commented 3 years ago

In no particular order:

big-step and small-step semantics
evaluation context
type context
STLC
System F
(somewhat advanced) difference between Gamma (types of program variables, that is lambda abstractions) vs Delta (type variables)

sorawee commented 3 years ago