Metatheorems about convertibility in typed lambda calculi : applications to CPS transform and "free theorems"
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1997.
Main Author: | Kuc̆an, Jakov |
---|---|
Other Authors: | Albert R. Meyer. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/42606 |
Similar Items
-
Categorical abstract machines for higher-order typed lambda-calculi
by: Ritter, E
Published: (1994) -
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
by: Peter Battyanyi, et al.
Published: (2017-09-01) -
Metatheorems for dynamic weighted matching
by: Williams, Virginia Vassilevska
Published: (2021) -
Linear realizability and full completeness for typed lambda−calculi
by: Abramsky, S, et al.
Published: (2005) -
Strong normalisation for applied lambda calculi
by: Ulrich Berger
Published: (2005-10-01)