Back to Search
Start Over
A filter lambda model and the completeness of type assignement
- Source :
- Journal of Symbolic Logic; 931; 940; 0022-4812; 4; 48; ~Journal of Symbolic Logic~931~940~~~0022-4812~4~48~~
- Publication Year :
- 1983
-
Abstract
- Contains fulltext : 13268.pdf (publisher's version ) (Open Access)
Details
- Database :
- OAIster
- Journal :
- Journal of Symbolic Logic; 931; 940; 0022-4812; 4; 48; ~Journal of Symbolic Logic~931~940~~~0022-4812~4~48~~
- Notes :
- English
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1377144934
- Document Type :
- Electronic Resource