Power, James F. and Webster, Caroline
(1999)
Working with Linear Logic in Coq.
In: 12th International Conference on Theorem Proving in Higher Order Logics, 14-17 September 1999, University of Nice, France.
This list was generated on Thu Apr 25 23:21:11 2024 UTC.