Travelled to:1 × Denmark
1 × France
1 × Israel
Collaborated with:∅ V.d.Paiva
Talks about:model (2) logic (2) intuitionist (1) categor (1) theori (1) linear (1) formul (1) domain (1) depend (1) stabl (1)
Person: Torben Braüner
DBLP: Bra=uuml=ner:Torben
Contributed to:
1997
1997
1994Wrote 3 papers:
- CSL-1997-BraunerP #linear #logic
- A Formulation of Linear Logic Based on Dependency-Relations (TB, VdP), pp. 129–148.
- TLCA-1997-Brauner #category theory
- A Simple Adequate Categorical Model for PCF (TB), pp. 82–98.
- ICALP-1994-Brauner #logic
- A Model of Intuitionistic Affine Logic From Stable Domain Theory (TB), pp. 340–351.