public
Created

  • Download Gist
gistfile1
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
t ::= terms:
x variable
\x:T .t abstraction
t t application
 
 
v ::= values:
\x:T .t abstraction value
 
 
T ::= types:
T -> T type of functions
 
 
Ⲅ ::= contexts:
φ empty context
Ⲅ, x:T terms variable binding

Please sign in to comment on this gist.

Something went wrong with that request. Please try again.