Peter Arndt

According to our database, Peter Arndt authored at least 6 papers between 2005 and 2025.

Collaborative distances:

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

2025

Congruence filter pairs, equational filter pairs and adjoints.

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto

J. Log. Comput., 2025

2023

Cyclophobic Reinforcement Learning.

Stefan Sylvius Wagner, Peter Arndt, Jan Robine, Stefan Harmeling

Trans. Mach. Learn. Res., 2023

Filter pairs and natural extensions of logics.

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto

Arch. Math. Log., 2023

2011

Homotopy-Theoretic Models of Type Theory.

Peter Arndt, Krzysztof Kapulkin

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2007

A Global Glance on Categories in Logic.

Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano

Logica Universalis, 2007

2005

Fibring and Sheaves.

Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005