Constructive λ-models
We study λ-models in a constructive setting. We present two novel ways of deriving λ-models. These two definitions make sense classically, but yield nothing of interest. The first extends the structure of a λ-model to its pace of singletons. These two models and all the models inbetween have the sam...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1990
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.653502 |