MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Linear Abadi and Plotkin Logic" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Operational semantics and models of linear Abadi-Plotkin logic. Manuscript
by L. Birkedal, R. L. Petersen, R. E. Møgelberg, C. Varming — 2006
…Operational Semantics and Models of Linear Abadi-Plotkin Logic L. Birkedal 1 , R.L. Petersen 1 , R…
Cited by 2 (1 self) – Add To MetaCart

CATEGORY-THEORETIC MODELS OF LINEAR ABADI & PLOTKIN LOGIC
by Lars Birkedal, Rasmus, E. Møgelberg, Rasmus, L. Petersen
…-THEORETIC MODELS OF LINEAR ABADI & PLOTKIN LOGIC LARS BIRKEDAL AND RASMUS E. MØGELBERG AND RASMUS L. PETERSEN…
Add To MetaCart

Categorical and domain theoretic models of parametric polymorphism
by L. Birkedal, R. L. Petersen, R. E. Møgelberg — 2005
…-theoretic model of the untyped lambda calculus. The model is shown to be a model of Abadi & Plotkin’s logic…
Cited by 6 (6 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB