Резултати

еНаука >  Резултати >  Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums
Назив: Kripke Semantics for Lambda Calculus - with Pairs and Disjoint Sums
Аутори: KAŠTEROVIĆ, SIMONA Đ.  ; Gilezan, Silvia K.  
Година: 2019
Публикација: 8th International Conference on Logic and Applications - LAP 2019
Издавач: Dubrovnik, Croatia
Тип резултата: Конференцијски рад
Колација: str. 23-25
URI: https://enauka.gov.rs/handle/123456789/548701
URL: http://imft.ftn.uns.ac.rs/math/cms/LAP2019
Извор метаподатака: Migrirano iz RIS podataka
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Google ScholarTM

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