Results

eNauka >  Results >  Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Title: Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
Authors: Ghilezan, Silvia  ; Ivetić, Jelena  ; Kašterović, Simona  ; Ognjanović, Zoran  ; Savić, Nenad
Issue Date: 2020
Publication: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Publisher: Springer Link
Type: Conference Paper
ISBN: 978-3-030-39951-1 Search Idenfier
Collation: vol. 12012 str. 122-139
DOI: 10.1007/978-3-030-39951-1_8
WoS-ID: 000883372400008
Scopus-ID: 2-s2.0-85080881257
URI: https://enauka.gov.rs/handle/123456789/579404
http://researchrepository.mi.sanu.ac.rs/handle/123456789/2573
URL: https://link.springer.com/chapter/10.1007/978-3-030-39951-1_8
Project: Representations of logical structures and formal languages and their application in computing
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education
Swiss National Science Foundation, Grant 200021 165549
M-category: 
Mp. category will be shown later

Altmetric
Dimensions

Find the DOI
Unpaywall

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.