Searching for authors named Jeff Polakow – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Linear Logic Programming with an Ordered Context
- …Linear Logic Programming with an Ordered Context Jeff Polakow Department of Computer Science…
- Cited by 7 (0 self) – Add To MetaCart
-
Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework
- …Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework Jeff Polakow…
- Cited by 12 (0 self) – Add To MetaCart
-
Ordered Linear Logic Programming
- …Ordered Linear Logic Programming Jeff Polakow and Frank Pfenning 1 December 22, 1998 CMU-CS-98…
- Cited by 8 (6 self) – Add To MetaCart
-
A Formalization of an Ordered Logical Framework in Hybrid with Applications to Continuation Machines
- … Machines Alberto Momigliano 1 (A.Momigliano@(email omitted);) and Jeff Polakow 2 (jp@(email omitted);) 1…
- Cited by 1 (1 self) – Add To MetaCart
-
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework
- … is supported by Creative Research Initiatives of the Korean Ministry of Science and Technology. Jeff Polakow…
- Cited by 7 (2 self) – Add To MetaCart
-
Natural Deduction for Intuitionistic Non-Commutative Linear Logic
- …Natural Deduction for Intuitionistic Non-Commutative Linear Logic Jeff Polakow ? and Frank…
- Cited by 28 (13 self) – Add To MetaCart
-
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
- …-Commutative Linear Logic Jeff Polakow 1 and Frank Pfenning 2 Department of Computer Science Carnegie Mellon…
- Cited by 24 (14 self) – Add To MetaCart
-
Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework
- …Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework Jeff Polakow…
- Add To MetaCart
-
Monadic Concurrent Linear Logic Programming
- …–13, 2005, Lisbon, Portugal. Copyright 2005 ACM 1-59593-090-6/05/0007 ...$5.00. Jeff Polakow AIST, CVS, JST…
- Cited by 19 (11 self) – Add To MetaCart
-
Specifying Distributed Trust Management in LolliMon
- … Specifying Distributed Trust Management in LolliMon Jeff Polakow Harvey Mudd Collegejpolakow…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
