Meeting of the Association for Symbolic Logic Florence, Italy 1982
From MaRDI portal
Publication:3686697
Cites work
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- A filter lambda model and the completeness of type assignment
- A modal sequent calculus for a fragment of arithmetic
- A use of the method of interpretations for decidability or undecidability of measure spaces
- An algebraic interpretation of the K-calculus; and an application of a labelled -calculus
- An identification theorem for the locally finite nontwisted Chevalley groups
- Boolean Algebras with Operators. Part I
- Characterization of normal forms possessing inverse in the - --calculus
- Combinatory logic. Vol. II
- Communicating sequential processes
- Complexity of winning strategies
- Data Types as Lattices
- From types to sets
- Goodman's theorem and beyond
- Groups of small Morley rank
- Groups with the minimal condition on centralizers
- Initial Algebra Semantics and Continuous Algebras
- Invertible terms in the lambda calculus
- Lectures on the applications of sheaves to ring theory. Tulane University ring and operator theory year, 1970-1971. Vol. III
- MIPC as the formalisation of an intuitionist concept of modality
- Model-complete theories of pseudo-algebraically closed fields
- On a Formalization of the Non-Definedness Notion
- On expandability of models of Peano arithmetic. II
- Provability interpretations of modal logic
- Strict Implication in A Sequence of Extensions of S4
- The completeness theorem for typing lambda-terms
- Unities and negation: On the representation of finite lattices
Cited in
(3)
This page was built for publication: Meeting of the Association for Symbolic Logic Florence, Italy 1982
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3686697)
