Quasi-Varieties and Initial Semantics for Hybridized Institutions

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/ext016
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

The Varieties of Programming Language Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

On Moduli of Stable Quasi Abelian Varieties

Nagoya Mathematical Journal
Mathematics
1975English

A Remark on Relative Geometric Invariant Theory for Quasi-Projective Varieties

Mathematische Nachrichten
Mathematics
2018English

Measure Semantics and Qualitative Semantics for Epistemic Modals

Semantics and Linguistic Theory
2015English

Measure Semantics and Qualitative Semantics for Epistemic Modals

Semantics and Linguistic Theory
2013English

Quasi-Judicial Institutions in the Legal Space: Definition and Approaches to the Definition

Vestnik of the St. Petersburg University of the Ministry of Internal Affairs of Russia
2019English

Semantics for Philosophers

Revista Dissertatio de Filosofia
2014English

Semantics for Monists

Mind
Philosophy
2006English

The Ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy