2272 search results - page 7 / 455 » A Calculus for |
166
Voted
MSCS
2007
15 years 5 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...
125
Voted
CADE
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
153
click to vote
DCG
2010
15 years 5 months ago
2010
es of Statistics (2); Calculus 2; Multivariable Calculus; Abstract Algebra 1 (2) Research with undergraduate students:
170
click to vote
CORR
2008
Springer
15 years 5 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...
187
Voted
TLCA
2007
Springer
15 years 11 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...