Semantics of the typed Ξ»-calculus with s
β
John W. Gray
π
Article
π
1993
π
Elsevier Science
π
English
β 994 KB