A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest
View View

Downloaded 1 time

Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library, Academic Library of Tallinn University and University of Tartu Library

Available in the network of the National Library of Estonia

Available in public network

A type-theoretical study of nontermination = Tüübiteoreetiline uurimus mittetermineeruvusest

Technical data

Publisher:
TUT Press
Published:
Language:
English
Depositor:
Tallinna Tehnikaülikooli Kirjastus
Type:
book
Copyrighted
ESTER
b46703226
ISBN
978-9949-831-01-2 (pdf)

URL: http://www.digar.ee/id/nlib-digar:315498

Keywords

SEE ALSO