Fulltext present in this item

Thumbnail
Fulltext: 104056.pdf
Format: PDF
Description: publisher's version
Title: Modular Proof of Strong Normalization for the Calculus of Constructions
Author(s): Geuvers, J.H. ; Nederhof, MJ
Publication year: 1991
Source: Journal of Functional Programming, vol. 1, iss. 2, (1991), pp. 155-189
ISSN: 0956-7968
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/104056   https://hdl.handle.net/2066/104056

Display more details
Subject: Data Science
Organization: Foundations
Software Science
ICIS - Institute for Computing and Information Sciences
Journal title:
Journal of Functional Programming
Volume: vol. 1
Issue: iss. 2
Page start: p. 155
Page end: p. 189

This item appears in the following Collection(s)

Browse

Statistics