STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
On the Convergence of Reduction-based and Model-based Methods in Proof Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
The stratified foundations as a theory modulo
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Hi-index | 0.00 |