Differential interaction nets Workshop on Logic (2005)

by T Ehrhard, L Regnier
Venue:Language, Information and Computation (WoLLIC), invited paper. Electronic Notes in Theoretical Computer Science
Add To MetaCart
Results 1 - 1 of 1

Restriction Categories I

by R. F. Blute, J. R. B. Cockett, R. A. G. Seely - Categories of Partial Maps, Theoret. Comput. Sci , 2006
"... modality”) and a differential combinator, satisfying a number of coherence conditions. In ..."
Abstract - Cited by 7 (1 self) - Add to MetaCart
modality”) and a differential combinator, satisfying a number of coherence conditions. In