Eike Ritter und Categorical - Info zur Person

(1 - 8 von 11

)

Natasha Alechina, Valeria de Paiva & Eike Ritter, Relating...

philpapers.org

Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics. Natasha Alechina, Valeria de Paiva & Eike Ritter. In Marcus Kracht, Maarten de Rijke, ...

Eike Ritter - The Mathematics Genealogy Projectwww.genealogy.math.ndsu.nodak.edu › ...

www.genealogy.math.ndsu.nodak.edu

Eike Ritter. MathSciNet. Ph.D. University of Cambridge UnitedKingdom. Dissertation: Categorical Abstract Machines for Higher-Order Typed Lambda ...

Categorical Abstract Machines for Higher-order Typed Lambda ...

books.google.com

Eike Ritter. University of Cambridge Computer Laboratory, Categories (Mathematics) pages. 0 Reviews. Reviews aren't verified, but Google checks — Reductive Logic and Proof-search: Proof Theory, Semantics, and Control. Front Cover. David J. Pym, Eike Ritter. Clarendon Press, Apr 29, ... › books › about

Categorical and Kripke Semantics for Constructive …

www.uni-bamberg.de

Categorical and Kripke Semantics for Constructive Modal Logics Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter. We consider two systems of ...

Relating Categorical Semantics for Intuitionistic Linear Logic |...

link.springer.com

There are several kinds of linear typed calculus in the literature, some with their associated notion of categoricalmodel. Our aim in this paper is to...

nForum - Fibrational Modal Type Theory

nforum.ncatlab.org

I didn't notice this paper before. Valeria de Paiva, Eike Ritter, Fibrational Modal Type Theory, pdf. This paper describes a fibrational categorical ...

Department of Computer Science and Technology – Technical reports:...

www.cl.cam.ac.uk

Categorical combinators for the calculus of constructions. Eike Ritter. October 1990, 43 pages. Full text. Only available on paper (could be scanned on request) .

the logic S4(m) in nLab

ncatlab.org

Natasha Alechina, Michael Mendler, Valeria de Paiva, and Eike Ritter, Categorical and Kripke Semantics for Constructive S4 Modal Logic (pdf). › nlab › show

Alle Infos zum Namen "Eike Ritter"

Verwandte Suchanfragen zu Eike Ritter

Michael Denzel
Edmund Robinson

Person "Ritter" (60)
Vorname "Eike" (3994)
Name "Ritter" (4018)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Eike Ritter und Categorical Person-Info