Remarks on the equational theory of non-normalizing pure type systems
Journal article, 2006
Author
Gilles Barthes
Institut National de Recherche en Informatique et en Automatique (INRIA)
Thierry Coquand
University of Gothenburg
Journal of Functional Programming
0956-7968 (ISSN) 1469-7653 (eISSN)
Vol. 16 2 137-155Subject Categories
Computer and Information Science
DOI
10.1017/S0956796803004726