Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giovanni Bernardi
Using Higher-Order Contracts to Model Session Types (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modelling Session Types Using Contracts
Related publications
A Fully Abstract Denotational Model for Higher-Order Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Using Meta-Code Generation to Realize Higher-Order Model Transformations
Primitive Recursion for Higher-Order Abstract Syntax
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Higher-Order Invariants in Extended Supergravity
Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy Physics
Nuclear
On the Relative Expressiveness of Higher-Order Session Processes
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Oral Abstract Session OAS
Allergy: European Journal of Allergy and Clinical Immunology
Allergy
Immunology
Learning Classification Rules Using Lattices (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Application of Higher Order Derivatives to Helicopter Model Control
