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, University of Tartu Library and Academic Library of Tallinn University

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
b46703214
ISBN
978-9949-831-00-5

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

Keywords

SEE ALSO