Jacobs, Bart.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Foundations of software science and computation structures19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(1998 :); Jacobs, Bart.; Loding, Christof.; SpringerLink (Online service)
(Electronic resources)
Subjects
Typentheorie.
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Type theory.
Types, Th�eorie des.
Cat�egories (Math�ematiques)
Programming Languages, Compilers, Interpreters.
Wiskundige logica.
Computer Science.
Categories (Mathematics)