Filter models for conjunctive-disjunctive lambda-calculi

Details

Language :

English

ISSN :

03043975

Volume :

170

Issue :

1-2

Database :

Supplemental Index

Journal :

Theoretical Computer Science

Publication Type :

Periodical

Accession number :

ejs3116464

Full Text :

https://doi.org/10.1016/S0304-3975(96)00235-6