A programming logic based on type theory /

Uloženo v:
Podrobná bibliografie
OCLC:221860615
Hlavní autor: Poll, Erik
Korporativní autor: Technische Universiteit Eindhoven
Jazyk:English
Vydáno: [Eindhoven : Technische Universiteit Eindhoven, 1994]
Témata:
Logic, Symbolic and mathematical.
Programming languages (Electronic computers) > Semantics.
Type theory.
Médium:

Diplomová práce Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Popis Local Call Number Stav
P-00599067 Dostupné

Podobné jednotky