Alexandre Miquel
- Ordered combinatory algebras and realizability
2014/10/19 by Walter Ferrer Santos, Jonas Frey, Santos, Walter Ferrer +7 · 1 citation
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO
- Implicative Assemblies
2023/04/20 by Félix Castro, Castro, Félix, Alexandre Miquel +3 · 1 citation
Computer Science · Decision Sciences · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Fuzzy and Soft Set Theory