Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marino Miculan
Reasoning About Object-Based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Implementing Spi Calculus Using Nominal Techniques
