Martin-Löf's Type Theory
Kapitel i bok, 2000

Författare

Bengt Nordström

Programmeringslogik

Kent Petersson

Programmeringslogik

Jan Smith

Programmeringslogik

Handbook of Logic in Computer Science

Vol. 5

Ämneskategorier

Datavetenskap (datalogi)