×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Horizonte, Belo (ed.) et al., Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 247, 85-101 (2009).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 53-71 (2003).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI