Travelled to:1 × Australia
1 × Brazil
1 × Germany
1 × Hungary
1 × Italy
2 × France
2 × Japan
3 × USA
3 × United Kingdom
Collaborated with:∅ J.Sarnat F.Pfenning A.Schack-Nielsen A.Poswolsky T.Brock-Nannestad J.Shah B.Beckert R.Goré J.Despeyroux
Talks about:logic (8) framework (4) higher (4) order (4) meta (4) function (3) program (3) system (3) recurs (3) encod (3)
Person: Carsten Schürmann
DBLP: Sch=uuml=rmann:Carsten
Contributed to:
2013
20122010
2009
20082008
2008
20052005
200420012000199919981997Wrote 15 papers:
- CADE-2013-BeckertGS #algorithm #logic
- Analysing Vote Counting Algorithms via Logic — And Its Application to the CADE Election Scheme (BB, RG, CS), pp. 135–144.
- IJCAR-2012-Brock-NannestadS #abstraction #monad
- Truthful Monadic Abstractions (TBN, CS), pp. 97–110.
- IJCAR-2010-Schack-NielsenS #linear #λ-calculus
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (ASN, CS), pp. 1–14.
- TLCA-2009-SarnatS #induction
- Lexicographic Path Induction (JS, CS), pp. 279–293.
- ESOP-2008-PoswolskyS #dependent type #encoding #higher-order #programming
- Practical Programming with Higher-Order Encodings and Dependent Types (AP, CS), pp. 93–107.
- IJCAR-2008-Schack-NielsenS #concurrent #deduction #framework #logic #named
- Celf — A Logical Framework for Deductive and Concurrent Systems (ASN, CS), pp. 320–326.
- LICS-2008-SchurmannS #logic
- Structural Logical Relations (CS, JS), pp. 69–80.
- CSL-2005-SchurmannS #identification #polynomial #recursion
- Identifying Polynomial-Time Recursive Functions (CS, JS), pp. 525–540.
- TLCA-2005-SchurmannPS #calculus #encoding #functional #higher-order #programming
- The [triangle]-Calculus. Functional Programming with Higher-Order Encodings (CS, AP, JS), pp. 339–353.
- FLOPS-2004-Schurmann #framework #functional #logic #programming
- Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework (CS), pp. 22–23.
- CSL-2001-Schurmann #encoding #higher-order #recursion
- Recursion for Higher-Order Encodings (CS), pp. 585–599.
- CADE-2000-Schurmann #framework #logic #named #tutorial
- Tutorial: Meta-logical Frameworks (CS), pp. 507–508.
- CADE-1999-PfenningS #deduction #framework #logic
- System Description: Twelf — A Meta-Logical Framework for Deductive Systems (FP, CS), pp. 202–206.
- CADE-1998-SchurmannP #automation #logic #proving #theorem proving
- Automated Theorem Proving in a Simple Meta-Logic for LF (CS, FP), pp. 286–300.
- TLCA-1997-DespeyrouxPS #higher-order #recursion #syntax
- Primitive Recursion for Higher-Order Abstract Syntax (JD, FP, CS), pp. 147–163.