Fundamenta Informaticae–19 1 IOS Press

First Page		Document Content
Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation		Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Download Document from Source Website File Size: 123,78 KB Share Document on Facebook

	Fundamenta Informaticae–19 1 IOS Press DocID: 1pzZ3 - View Document
	Microsoft Word - Midlands Graduate School 2009.doc DocID: 1pvqt - View Document
	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. DocID: 1g42s - View Document
	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science DocID: 1fMbR - View Document