Searching for authors named "Peter Selinger" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Abstract QPL 2006 Preliminary Version Idempotents in dagger categories
- …Abstract QPL 2006 Preliminary Version Idempotents in dagger categories (extended abstract) Peter…
- Add To MetaCart
-
Towards a semantics forhigher-order quantum computation*
- … Towards a semantics forhigher-order quantum computation* Peter Selinger# Abstract The search…
- Add To MetaCart
-
Lecture Notes Math 4680/5680, Topics in Logic and Computation
- …Lecture Notes Math 4680/5680, Topics in Logic and Computation Peter Selinger Dalhousie University…
- Add To MetaCart
-
Some remarks on control categories
- …Some Remarks on Control Categories Peter Selinger Department of Mathematics and Statistics…
- Cited by 4 (0 self) – Add To MetaCart
-
The Lambda Calculus is Algebraic
- …The Lambda Calculus is Algebraic Peter Selinger Department of Mathematics University…
- Cited by 2 (0 self) – Add To MetaCart
-
Order-Incompleteness and Finite Lambda Models (Extended Abstract)
- …Order-Incompleteness and Finite Lambda Models Extended Abstract Peter Selinger Department…
- Cited by 7 (1 self) – Add To MetaCart
-
From continuation passing style to Krivine’s abstract machine
- …From Continuation Passing Style to Krivine’s Abstract Machine Peter Selinger Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Models for an Adversary-Centric Protocol Logic
- …-Centric Protocol Logic Peter Selinger Department of Mathematics and Statistics University of Ottawa Ottawa, Canada…
- Cited by 8 (0 self) – Add To MetaCart
-
Order-incompleteness and finite lambda reduction models
- … Order-Incompleteness and Finite Lambda Reduction Models Peter Selinger To appear in Theoretical…
- Cited by 8 (0 self) – Add To MetaCart
-
A brief survey of quantum programming languages
- …A Brief Survey Of Quantum Programming Languages Peter Selinger Department of Mathematics…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
