LSFA 2015 - 10th Workshop on Logical and Semantic Frameworks, with Applications

 
 

The pre-proceedings can be downloaded here.



LSFA 2015 (last edited 11/08/2015)

 

Proceedings