Abstract syntax and variable binding

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 193-202

  Fiore, Marcelo ^a   Plotkin, Gordon ^a   Turi, Daniele ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYNTAX; VARIABLE BINDING;

ALGEBRA; FORMAL LOGIC; SET THEORY; THEOREM PROVING;

COMPUTATIONAL LINGUISTICS;

EID: 0032597526     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (37)