Two set-based implementations of quotients in type theory
author
Veltri, Niccolo
statement of authorship
Niccolò Veltri
source
Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere
location of publication
[Tallinn]
publisher
[Tallinn University of Technology Press]
year of publication
2014
pages
p. 149-152
conference name, date
The 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies, December 5-6, 2014
conference location
Rakvere
subject term
küberneetika
matemaatiline loogika
ISBN
978-9949-23-710-4
notes
Bibliogr.: 12 ref
Teavikus puudub ilmumisaasta
TTÜ department
TTÜ Küberneetika Instituut
language
inglise