search

vjovanov / papers

Papers of Vojin Jovanovic.
http://vjovanov.com
0 stars 0 forks source link

Cite original work on F<: in formalisation section #4

Closed densh closed 9 years ago

densh commented 9 years ago

Fixed by citing TAPL.