Notice détaillée
Titre
Roeckl, Christine
Sciper ID
140985
Laboratoires affiliés
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
Employé pour
Röckl, Christine
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People