CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax
Alberto Ciaffaglione
,
Luigi Liquori
,
Marino Miculan
2003-01-01
Cite
DOI
URL
Type
Conference paper
Publication
Proceedings of MERLIN 2003
Related
Imperative Object-based Calculi in (Co)Inductive Type Theories
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
A simple criterion for M,N-adhesivity
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves
Cite
×