Walter Ferrer Santos

According to our database, Walter Ferrer Santos authored at least 3 papers between 2017 and 2019.

Collaborative distances:

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

2019

The category of implicative algebras and realizability.

Walter Ferrer Santos, Octavio Malherbe

Math. Struct. Comput. Sci., 2019

Realizability in ordered combinatory algebras with adjunction.

Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe

Math. Struct. Comput. Sci., 2019

2017

Ordered combinatory algebras and realizability.

Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel

Math. Struct. Comput. Sci., 2017