Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A type-theoretical alternative to ISWIM, CUCH, OWHY

1993244 citationsJournal Article

Authors

Dana Scott · RISC Software (Austria)

Topics & Keywords

Logic, programming, and type systems Logic, Reasoning, and Knowledge Formal Methods in Verification

Publication Details

Published in: Theoretical Computer Science

Volume 121, Issue 1-2, pp. 411-440

DOI: 10.1016/0304-3975(93)90095-b

Field-Weighted Citation Impact: 5.82

A type-theoretical alternative to ISWIM, CUCH, OWHY | Researchclopedia