Author:
Hermida Claudio,Reddy Uday S.,Robinson Edmund P.
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. New foundations for fixpoint computations: Fix-hyperdoctrines and the fix-logic;Crole;Information and computation,1992
2. Fibrational induction rules for initial algebras;Ghani,2010
3. Logical relations for monadic types;Goubault-Larrecq;Mathematical Structures in Computer Science,2008
4. Fibrations, logical predicates and related topics;Hermida,1993
5. Some properties of fib as a fibred 2-category;Hermida;Journal of Pure and Applied Algebra,1999