A simple model construction for the Calculus of Constructions

Fulltext present in this item

Fulltext: 28269.pdf

Format: PDF

Description: preprint version

Title:	A simple model construction for the Calculus of Constructions
Author(s):	Stefanova, M.; Geuvers, H.
Publication year:	1996
Source:	Lecture Notes in Computer Science, vol. 1158, (1996), pp. 249-264
ISSN:	0302-9743
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/28269
Display more details
Organization:	Foundations
Journal title:	Lecture Notes in Computer Science
Volume:	vol. 1158
Page start:	p. 249
Page end:	p. 264
Languages used:	en

Academic publications [164653]
Academic output Radboud University
Open Access publications [47336]
Freely accessible full text publications
Electronic publications [74078]
Freely accessible full text publications plus those not yet available due to embargo
Faculty of Science [25642]