Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
Artikel i vetenskaplig tidskrift, 1991

Författare

Peter Dybjer

Programmeringslogik

Logical Frameworks

280-306

Ämneskategorier

Annan matematik