print

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
Veltri, N. Two set-based implementations of quotients in type theory // Proceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere. [Tallinn] : [Tallinn University of Technology Press], 2014. p. 149-152.