BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Brazil
1 × USA
Collaborated with:
S.Awodey ∅ C.Benzmüller G.Sutcliffe D.M.0001 M.Kohlhase
Talks about:
type (3) theori (2) order (2) logic (2) extension (1) languag (1) semant (1) martin (1) higher (1) depend (1)

Person: Florian Rabe

DBLP DBLP: Rabe:Florian

Contributed to:

TLCA 20092009
IJCAR 20082008
IJCAR 20062006
IJCAR 20182018

Wrote 4 papers:

TLCA-2009-AwodeyR #semantics #type system
Kripke Semantics for Martin-Löf’s Extensional Type Theory (SA, FR), pp. 249–263.
IJCAR-2008-BenzmullerRS #higher-order #logic #named
THF0 — The Core of the TPTP Language for Higher-Order Logic (CB, FR, GS), pp. 491–506.
IJCAR-2006-Rabe #dependent type #first-order #logic
First-Order Logic with Dependent Types (FR), pp. 377–391.
IJCAR-2018-MullerRK
Theories as Types (DM0, FR, MK), pp. 575–590.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.