Strong normalization in a typed lambda calculus with lambda structured types
By: R.P. Nederpelt Lazarom
Contributors: Technische Universiteit Eindhoven
Publisher: Technische Hogeschool; [s.n.]
Published: 1973
Place of publication: Eindhoven; [s.l.]
Language: eng
Number of pages: 102
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1973.

Met lit.opg. en samenvatting in het Nederlands.