Extensional Collapse Situations I: non-termination and unrecoverable errorsReport as inadecuate




Extensional Collapse Situations I: non-termination and unrecoverable errors - Download this document for free, or read online. Document in PDF available to download.

1 PPS - Preuves, Programmes et Systèmes

Abstract : We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined form a lattice when ordered by the extensional collapse situation relation, introduced in order to compare models with respect to the amount of -intensional information- that they provide on computation. The proofs are carried out by exhibiting suitable applied λ-calculi, and by exploiting the fundamental lemma of logical relations.





Author: Antonio Bucciarelli -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents