Felix Laarmann

According to our database, Felix Laarmann authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Finite Combinatory Logic with Predicates.

Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof

Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023

2022

Restricting Tree Grammars with Term Rewriting.

Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022