Representing inductively defined sets by well-orderings in Martin-Löf's type theory
Artikel i vetenskaplig tidskrift, 1997
Författare
Peter Dybjer
Programmeringslogik
Publicerad i
Theoretical Computer Science
Vol. 176 s. 329-335
Kategorisering
Ämneskategorier (SSIF 2011)
Annan matematik