Categorical logic and type theory / Bart Jacobs, 1999
Internet, http://webopc.konbib.nl, 1999-12-06 (Bibliothèque royale, Pays-Bas) : Jacobs,
Bart (Bartholomeus Paulus Franciscus ; 1963). LCNA (en ligne - Internet), 1999-12-03
http://catalogue.bnf.fr/ark:/12148/cb135930392, 2017-09-14
Information trouvée : Jacobs, Bart (1963-....). Forme rejetée : Jacobs, Bartholomeus Paulus Franciscus.
Mathématicien
http://id.loc.gov/authorities/names/n98096661, 2017-09-14
Information trouvée : Jacobs, Bart
https://www.cs.ru.nl/B.Jacobs/, 2017-09-14
Information trouvée : Bart Jacobs, Professor of Software Security and Correctness, Digital Security (DS)
Group, Institute for Computing and Information Sciences, Radboud University Nijmegen,
The Netherlands