title
21st International Conference on Types for Proofs and Programs TYPES 2015 : Tallinn, Estonia, 18–21 May 2015 : Abstracts
keywords
computer science
artificial intelligence
logical programming
proof theory
type theory
conference proceedings
arvutiteadus
tehisintellekt
loogiline programmeerimine
tõestuste teooria
tüübiteooria
konverentsikogumikud
publisher
Institute of Cybernetics at Tallinn University of Technology
publishing year
2015
editor
Uustalu, Tarmo
identifier
https://digikogu.taltech.ee/et/Item/86dad8ce-b94e-4413-8ffc-73c9a445c591
https://doi.org/10.23658/taltech.types/2015
ISBN 9789949430871 (pdf)
language
eng
rights
http://rightsstatements.org/vocab/InC/1.0/
institution
Institute of Cybernetics at Tallinn University of Technology