Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bidinger, Philippe - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)
Distributed Semantics and Implementation for Systems with Interaction and Priority
An Abstract Machine for the Kell Calculus Philippe Bidinger , Alan Schmitt, and Jean-Bernard Stefani
The Kell calculus : operational semantics and type system Philippe Bidinger and Jean-Bernard Stefani
Pict Correctness Revisited Philippe Bidinger1
Pict Correctness Revisited Philippe Bidinger1
Dream Types A Domain Specific Type System for
