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

Författare

[Person a5d3cf9e-92e9-4c69-9fd7-00c604d06139 not found]

Programmeringslogik

Logical Frameworks

280-306

Ämneskategorier

Annan matematik

Mer information

Skapat

2017-10-06