Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Patricia Johann
Indexed Induction and Coinduction, Fibrationally
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A General Framework for Relational Parametricity
Related publications
Hacking Nondeterminism With Induction and Coinduction
Communications of the ACM
Computer Science
Structural Induction and Coinduction in a Fibrational Setting
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Generic Trace Semantics via Coinduction
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Indexed Sequential Files — Reading and Writing
Inflation-Indexed Bonds and the Expectations Hypothesis
Self-Indexed Grammar-Based Compression
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Scopus- Or SCIE-indexed Journals
The Independence of Indexed Volatilities
