Details
Title
Roeckl, Christine
Sciper ID
140985
Affiliated labs
LAMP
Publications
A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations
A Nominal Theory of Objects with Dependent Types
A Nominal Theory of Objects with Dependent Types
A Nominal Theory of Objects with Dependent Types
A Nominal Theory of Objects with Dependent Types
Use for
Röckl, Christine
Link to search
All resources
Record appears in
Authorities > People