A Typed Operational Semantics for Type Theory (1994)

by H Goguen