Semantical analysis of higher-order abstract syntax

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 204-213

  Hofmann, Martin ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; FUNCTIONS; THEOREM PROVING;

FIRST ORDER SYNTAX; HIGHER ORDER ABSTRACT SYNTAX;

COMPUTATIONAL LINGUISTICS;

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

References (18)