-
On the relationship between well-orderings in intuitionistic type theory and data types inductively definedO Que Nos Faz Pensar 61-79. 1991.
-
22Using the Internal Logic of a Topos to Model Search Spaces for ProblemsLogic Journal of the IGPL 15 (5-6): 457-474. 2007.We present a structural model for heuristic search strategies for solving computational problems. The model is defined through the use of topos-theoretical tools and techniques, which provide an appropriate internal logic where objects of interest can be represented.
-
71Completeness of an Action Logic for Timed Transition SystemsBulletin of the Section of Logic 29 (4): 151-160. 2000.
-
45Some Models of Heterogeneous and Distributed Specifications based on Universal ConstructionsIn Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic, Polimetrica. 2007.
Areas of Interest
| Philosophy of Law |
| Logic and Philosophy of Logic |