Walter Ferrer Santos

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Topological Spaces

Distributive Lattices

Temporal Reasoning

Top Venues

Math. Struct. Comput. Sci.

Publications

Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Realizability in ordered combinatory algebras with adjunction. Math. Struct. Comput. Sci. 29 (3) (2019)
Walter Ferrer Santos, Octavio Malherbe
The category of implicative algebras and realizability. Math. Struct. Comput. Sci. 29 (10) (2019)
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel
Ordered combinatory algebras and realizability. Math. Struct. Comput. Sci. 27 (3) (2017)