Alfio Martini

Publication Activity (10 Years)

Years Active: 1997-2019
Publications (10 Years): 1

Top Topics

Deductive Reasoning

Programming Language

Semantic Data Models

Fluent Calculus

Top Venues

J. Log. Comput.

Publications

Uwe Wolter, Alfio Martini, Edward Hermann Häusler
Indexed and Fibred Structures for Hoare Logic. LSFA (2019)
Uwe Wolter, Alfio Martini, Edward Hermann Haeusler
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. 25 (1) (2015)
Alfio Martini
Programming Language Semantics with Isabelle/HOL. WEIT (2013)
Alfio Martini, Uwe Wolter, Edward Hermann Haeusler
Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL 15 (5-6) (2007)
Alfio Martini, Uwe Wolter
A Single Perspective on Arrows between Institutions. AMAST (1998)
Uwe Wolter, Alfio Martini
Shedding the New Light in the World of Logical Systems. Category Theory and Computer Science (1997)
Alfio Martini, Uwe Wolter
A systematic study of mappings between institutions. WADT (1997)