N-Strictness in Applicative Theories

AuthID
P-00F-K2V
1
Author(s)
Document Type
Article
Year published
2000
Published
in ARCHIVE FOR MATHEMATICAL LOGIC, ISSN: 0933-5846
Volume: 39, Issue: 2, Pages: 125-144 (20)
Indexing
Publication Identifiers
Dblp: journals/aml/Kahle00
Scopus: 2-s2.0-0034423095
Wos: WOS:000085703700004
Source Identifiers
ISSN: 0933-5846
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.