Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Claudio Hermida
Structural Induction and Coinduction in a Fibrational Setting
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Hacking Nondeterminism With Induction and Coinduction
Communications of the ACM
Computer Science
Indexed Induction and Coinduction, Fibrationally
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Fibrational Method of Indexed Coinductive Data Types
Tehnicki Vjesnik
Engineering
Success and Safety of Sputum Induction in the Clinical Setting
European Respiratory Journal
Medicine
Pulmonary
Respiratory Medicine
The Induction of Positive Affect in a Community Setting Using Electronic Communications.
Generic Trace Semantics via Coinduction
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Management of Pulmonary Arterial Bleeding in the Post Induction Setting
Journal of Visualized Surgery
Structural Setting of Kimberlites in South-Eastern Australia
A Comparative Study on Structural Empowerment of Co-Operatives Members in Urban and Rural Setting
