Formal Semantics in Modern Type Theories
Monograph (December 2020)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Monograph (December 2020)
Article in IEEE Journal on Emerging and Selected Topics in Circuits and Systems (October 2014)