Inductive Type Schemas as Functors
暂无分享,去创建一个
[1] Jörg H. Siekmann,et al. 8th International Conference on Automated Deduction , 1986, Lecture Notes in Computer Science.
[2] Nachum Dershowitz,et al. Commutation, Transformation, and Termination , 1986, CADE.
[3] Philip Wadler,et al. Theorems for free! , 1989, FPCA.
[4] David Chemouil. Types inductifs, isomorphismes et récriture extensionnelle , 2004 .
[5] David Chemouil,et al. Remarks on isomorphisms of simple inductive types , 2003, Mathematics, Logic and Computation @ ICALP.
[6] Philip J. Scott,et al. A note on rewriting theory for uniqueness of iteration. , 1999 .
[7] Varmo Vene,et al. CATEGORICAL PROGRAMMING WITH INDUCTIVE AND COINDUCTIVE TYPES , 2000 .
[8] Hendrik Pieter Barendregt,et al. Autarkic Computations in Formal Proofs , 2002, Journal of Automated Reasoning.