2272 search results - page 7 / 455 » A Calculus for |
MSCS
2007
13 years 8 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
CADE
2008
Springer
13 years 10 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
DCG
2010
13 years 8 months ago
2010
es of Statistics (2); Calculus 2; Multivariable Calculus; Abstract Algebra 1 (2) Research with undergraduate students:
CORR
2008
Springer
13 years 8 months ago
2008
Springer
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...