Concepedia

Carsten Führmann

CF

Statistics

Publications

5

Citations

116

H-Index

5

Active since

1999

Affiliations

University of Bath(Current)

University of Birmingham

University of Edinburgh

Carsten Führmann is an author at University of Bath specializing in automated reasoning, computer science, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisCompilersFormal VerificationProgramming LanguagesMathematical Foundations

Publications per year

1999–2005

5

Publications

5

Direct Models of the Computational Lambda-calculus

Carsten Führmann · Electronic Notes in Theoretical Computer Science · 1999 · 40 citations · Full text

Mathematical Programming, Programming Language Theory, Engineering +15

Order-enriched categorical models of the classical sequent calculus

Carsten Führmann, David Pym · Journal of Pure and Applied Algebra · 2005 · 33 citations

Automated Reasoning, Categorical Logic, Categorical Model +2

On the call-by-value CPS transform and its semantics

Carsten Führmann, Hayo Thielecke · Information and Computation · 2003 · 19 citations

Programming Language Theory, Engineering, Program Analysis +8

An equational notion of lifting monad

Anna Bucalo, Carsten Führmann, Alex Simpson · Theoretical Computer Science · 2003 · 13 citations · Full text

Algebraic Logic, Engineering, Automated Reasoning +5

On the geometry of interaction for classical logic

Carsten Führmann, David Pym · 2004 · 11 citations

Non-classical Logic, Boolean Lattices, Engineering +9

1–5 of 5