Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Faggian, C."'
The notion of solvability, crucial in the λ-calculus, is conservatively extended to a probabilistic setting, and a complete characterization of it is given. The employed technical tool is a type assignment system, based on non-idempotent intersectio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ef3ca2b4bd13a42a967a3d8218f763e
http://hdl.handle.net/11585/797397
http://hdl.handle.net/11585/797397
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Basaldella, M., Faggian, C.
Publikováno v:
2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p375-384, 10p
Autor:
Faggian, C., Maurel, F.
Publikováno v:
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05); 2005, p376-385, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.