Zobrazeno 1 - 10
of 130
pro vyhledávání: '"S. Zdancewic"'
Autor:
B. Valiron, S. Zdancewic
Publikováno v:
Scientific Annals of Computer Science, Vol XXIV, Iss 2, Pp 325-368 (2014)
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, on
Externí odkaz:
https://doaj.org/article/3f60d8252dc4439a968d1741c2f072ab
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.
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:
S. Zdancewic, A.C. Myers
Publikováno v:
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2dce062ada6ab7b3f9e8c96792d41c29
https://doi.org/10.1109/csfw.2001.930133
https://doi.org/10.1109/csfw.2001.930133
Publikováno v:
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::707d4a41b3aab01900888d3dbd3db570
https://doi.org/10.1109/csfw.2004.1310740
https://doi.org/10.1109/csfw.2004.1310740
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.