RRumst-MolenveldRumst-Molenveldde Bart JacobsMateriasRoman AntiquitiesEdiciones (1)Rumst-Molenveld (2010)Departement Cultuur, Dienst Erfgoed · dutMás obras de Bart JacobsCategorical logic and type theory1999The Grand Spring Hunt2002Formal Methods for Open Object-Based Distributed Systems V