Searching for "Topological Completeness for Higher-Order Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Topological Completeness for Higher-Order Logic
by Steve Awodey, Carsten Butz — 1997 — Journal of Symbolic Logic
…BRICS RS-97-21 Awodey & Butz: Topological Completeness for Higher-Order Logic BRICS Basic Research…
Cited by 7 (2 self) – Add To MetaCart

BRICS Research Series, 1997
by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
… Completeness for HigherOrder Logic. July 1997. 19 pp. [RS-97-20] Abstract, PostScript, PDF, DVI. Carsten Butz…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB