The submission deadline for non-MEDDEK faculties has been extended to April 30, 2026. | Eingabefrist für nicht MEDDEK Fakultäten verlängert bis 30. April 2026.
 

Probabilistic reasoning about simply typed Lambda terms

BORIS DOI
Publisher DOI
Date of Publication
2018
Publication Type
Book Section
Subject(s)
Language(s)
en
Contributor(s)
Ghilezan, Silvia
Ivetić, Jelena
Kašterović, Simona
Ognjanović, Zoran
Additional Credits
Publisher
Springer International Publishing
ISBN
978-3-319-72055-5
Book Title
Access(Rights)
restricted
Show full item