Резултати

еНаука >  Резултати >  Introduction to Type Theory : Invited talk
Title: Introduction to Type Theory : Invited talk
Authors: Ghilezan, Silvia  
Issue Date: 2017
Publication: EUTypes Summer School (10-14 July ; 2017) Ohird, Macedonia
Type: Conference Paper
URI: http://researchrepository.mi.sanu.ac.rs/handle/123456789/4228
https://enauka.gov.rs/handle/123456789/576820
Availability note: На основу доступних података није могуће утврдити да ли резултат постоји
M-category: 
Mp. category will be shown later

Пронађи DOI

Google ScholarTM

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.