COPRODUCTS OF IDEAL MONADS (2004)

by Neil Ghani , Tarmo Uustalu
Citations:4 - 1 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
207 Type-directed partial evaluation – Olivier Danvy - 1996
18 Normalization by Evaluation for the Computational Lambda-Calculus – Andrzej Filinski - 2001
190 Sheaves in Geometry and Logic. A First Introduction to Topos Theory. 2nd corrected printing – S Mac Lane, I Moerdijk - 1994
30 Setoids in Type Theory – Gilles Barthe, Venanzio Capretta, Olivier Pons - 2000
44 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
22 Normalization and the Yoneda Embedding – Djordje Cubric, Peter Dybier, Philip Scott
39 Normalization by evaluation for typed lambda calculus with coproducts – T. Altenkirch, P. Dybjer - 2001
23 Categorical Reconstruction of a Reduction Free Normalization Proof – Thorsten Altenkirch, Martin Hofmann, Thomas Streicher - 1995
52 An inverse of the evaluation functional for typed λ–calculus – U Berger, H Schwichtenberg - 1991
31 Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums, in: POPL’04 – V Balat, R Di Cosmo, M Fiore - 2004
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Algebraic Operations and Generic Effects – Gordon Plotkin, John Power - 2003
16 Semantic analysis of normalisation by evaluation for typed lambda calculus – M Fiore
17 Normalization and partial evaluation – Peter Dybjer, Andrzej Filinski - 2002
15 Reducibility and ⊤⊤-lifting for computation types – Sam Lindley, Ian Stark - 2005
25 About models for intuitionistic type theories and the notion of definitional equality – P Martin-Löf - 1975
5 A note on rewriting theory for uniqueness of iteration, Theory and Applications of Categories 6 – M Okada, P Scott - 1999