Traced Premonoidal Categories (1999)

by Nick Benton , Martin Hyland
Citations:9 - 0 self

Active Bibliography

7 Semantics of value recursion for monadic input/output РLevent Erkök, John Launchbury, Andrew Moran - 2002
12 Value Recursion in Monadic Computations – Levent Erkok - 2002
Contents Preface vii – Jeremy Gibbons, Oege De Moor, Chris Okasaki
136 Makoto Hamana Correct Looping Arrows from Cyclic Terms Traced Categorical Interpretation in Haskell – Makoto Hamana
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
888 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
467 Comprehending Monads – Philip Wadler - 1992
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988