Representing inductively defined sets by well-orderings in Martin-Löf's type theory
Artikel i vetenskaplig tidskrift, 1997

Författare

Peter Dybjer

Programmeringslogik

Theoretical Computer Science

Vol. 176 329-335

Ämneskategorier

Annan matematik