Edinburgh Research Archive

Constructions, inductive types and strong normalization

Files

Altenkirch1993.Pdf (74.59 MB)

Item Status

Embargo End Date

Date

1993

Authors

Abstract

URI

http://hdl.handle.net/1842/11967

This item appears in the following Collection(s)

Informatics thesis and dissertation collection