4850 search results - page 75 / 970 » Proof and Computation in Geometry |
157
click to vote
RTA
1999
Springer
15 years 10 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
195
click to vote
Presentation
Geometry of Graphs. Talk on celebrated LLR Paper, (November 2006)
134
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern ...