A programming logic based on type theory
By: Erik Poll
Contributors: Technische Universiteit Eindhoven
Publisher: Technische Universiteit Eindhoven
Published: 1994
Place of publication: Eindhoven
Language: eng
Number of pages: 175
Subjects: Symbolic and mathematical Logic; Programming languages (Electronic computers); Semantics; Type theory
Notes: Summary in Dutch.

"Stellingen" (2 p.) inserted.

Thesis (doctoral)--Technische Universiteit Eindhoven, 1994.

Includes bibliographical references (p. 165-173) and index.