Publications
Export 2 results:
Author [ Title] Type Year Filters: First Letter Of Title is B and Author is Tomala, O [Clear All Filters]
“Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007.