53 search results - page 3 / 11 » Projective Brane Calculus |
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...
ICCAL
1992
13 years 11 months ago
1992
We describe the development and use of an online textbook for first-year calculus, the second edition of a book that first appeared in print. The principles on which the book is b...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...