Calculate categorically (1992)

by Maarten M Fokkinga
Venue:Formal Aspects of Computing
Citations:4 - 0 self

Documents Related by Co-Citation

333 Theorems for free! – Philip Wadler - 1989
105 Data structures and program transformation – G Malcolm - 1990
97 and Order in Algorithmics – Law - 1992
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
1083 Introduction to Lattices and Order – DP90 B A Davey, H A Priestley - 1990
430 Introduction to higher order categorical logic Cambridge – J Lambek, P J Scott - 1986
84 Algebraic data types and program transformation – G Malcolm - 1990
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
734 Notions of Computation and Monads – Eugenio Moggi - 1991