Carsten Schuermann

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
https://portal.mardi4nfdi.de/entity/Q2848049	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2844813	2013-08-19	Paper
A Representation of Fω 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Carsten Schuermann