41 search results - page 4 / 9 » Induction, Coinduction, and Adjoints |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
CSL
1998
Springer
13 years 7 months ago
1998
Springer
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...
CEFP
2009
Springer
13 years 5 months ago
2009
Springer
Programmers happily use induction to prove properties of recursive programs. To show properties of corecursive programs they employ coinduction, but perhaps less enthusiastically. ...
APLAS
2004
ACM
14 years 29 days ago
2004
ACM
Abstract. We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we...