Carsten Schürmann

Available identifiers

zbMath Open schurmann.carstenMaRDI QIDQ2092486

List of research outcomes

Publication	Date of Publication	Type
Automated analysis of accountability	2022-11-02	Paper
Security protocols as choreographies	2022-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4608685	2018-03-21	Paper
Choreographies, logically	2018-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q5357720	2017-09-12	Paper
Multiparty session types as coherence proofs	2017-06-14	Paper
A Contextual Logical Framework	2016-01-12	Paper
Choreographies, Logically	2014-09-15	Paper
A meta linear logical framework	2014-01-10	Paper
Logical semantics for the rewriting calculus	2013-09-25	Paper
Towards proof planning for \(\mathcal{M}_{\omega}^+\)	2013-08-19	Paper
A representation of \(F_{\omega}\) in LF	2013-07-24	Paper
Analysing Vote Counting Algorithms via Logic	2013-06-14	Paper
Truthful Monadic Abstractions	2012-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q2996167	2011-05-06	Paper
Focused Natural Deduction	2010-10-12	Paper
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus	2010-09-14	Paper
A Coverage Checking Algorithm for LF	2010-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q3408129	2010-02-24	Paper
The Twelf Proof Assistant	2009-10-20	Paper
Lexicographic Path Induction	2009-07-07	Paper
Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)	2008-11-27	Paper
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf	2008-05-27	Paper
Practical Programming with Higher-Order Encodings and Dependent Types	2008-04-11	Paper
Functional and Logic Programming	2007-09-25	Paper
Computer Science Logic	2006-11-01	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3024905	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4783333	2002-12-04	Paper
Primitive recursion for higher-order abstract syntax	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4944858	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4249901	1999-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4223031	1999-01-10	Paper

Research outcomes over time

This page was built for person: Carsten Schürmann