Remarks on the equational theory of non-normalizing pure type systems
Artikel i vetenskaplig tidskrift, 2006
Författare
Gilles Barthes
Institut National de Recherche en Informatique et en Automatique (INRIA)
Thierry Coquand
Göteborgs universitet
Journal of Functional Programming
0956-7968 (ISSN) 1469-7653 (eISSN)
Vol. 16 2 137-155Ämneskategorier
Data- och informationsvetenskap
DOI
10.1017/S0956796803004726