2 search results - page 1 / 1 » Realisability and Adequacy for (Co)induction |
CCA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
ACSC
2002
IEEE
13 years 10 months ago
2002
IEEE
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...