Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Towards a semantics of proofs for non-commutative logic: multiplicatives and additives
Theoretical Computer Science - Linear logic
Rough Sets and Learning by Unification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Rough Sets and Learning by Unification
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Studia Logica
Hi-index | 0.00 |