Browse by Journal

C

Clark, Tony and Tratt, Laurence (2010) Formalizing homogeneous language embeddings. Electronic Notes in Theoretical Computer Science, 253 (7) . pp. 75-88. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2010.08.033)

G

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark (2002) Requirements, specifications, and minimal refinement. Electronic Notes in Theoretical Computer Science. Volume 67: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation. In: WoLLIC 2002: 9th Workshop on Logic, Language, Information and Computation, 30 Jul - 2 Aug 2002, Rio de Janeiro, Brazil. . ISSN 1571-0661 [Conference or Workshop Item] (doi:10.1016/S1571-0661(04)80550-4)

H

Henrio, Ludovic and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2009) Functional active objects: typing and formalisation. Electronic Notes in Theoretical Computer Science, 255 . pp. 83-101. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2009.10.026)

P

Pouliasis, Konstantinos and Primiero, Giuseppe (2014) J-Calc: a typed lambda calculus for intuitionistic justification logic. Electronic Notes in Theoretical Computer Science, 300 . pp. 71-87. ISSN 1571-0661 [Article] (doi:10.1016/j.entcs.2013.12.012)