Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gay, Simon - Department of Computing Science, University of Glasgow
Types and Subtypes for Correct Communication in
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL
Simulating and Compiling Code for the Sequential Quantum Random Access Machine
Types for Quantum Computing Ross Duncan
Modal Logics for Typed Mobile Processes: Completeness and Logical Full Abstraction
An Extension of Gleason's Theorem for Quantum Computation
Bounded Polymorphism in Session Types
Dynamic Interfaces Simon J. Gay
Session-Based Distributed Programming in Java Raymond Hu1
Under consideration for publication in Math. Struct. in Comp. Science Quantum Programming Languages
Structured Interactional Exceptions in Session Types Marco Carbone1
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
ZU064-05-FPR main 27 October 2008 9:56 Linear Type Theory for Asynchronous Session
Types for Correct Communication in Client-Server Systems
Types for Concurrent Programming (SCI/180/96/155/G)
Quantum Computing: A new Paradigm and it's Type Theory Martin Wehr
Structured Interactional Exceptions in Session Types (Full Version)
