Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M. Gaboardi
What Is a Model for a Semantically Linear -Calculus?
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
What Is a Qualitative Calculus? A General Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Calculus for Non-Linear Spectral Gaps: [Extended Abstract]
What Is a Guest? What Is a Settler?
Cultural and Pedagogical Inquiry
A Domain-Theoretic Model for a Higher-Order Process Calculus
Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Dag-Calculus: A Calculus for Parallel Computation
But What Is a Dictionary For?
Language Arts Journal of Michigan
What Is "Great Sex"? Development of a Conceptual Model
What Is the Optimal Age for Starting Lipid Lowering Treatment? A Mathematical Model
BMJ
