From λσ to λv a journey through calculi of explicit substitutions

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1994, Pages 60-69

  Lescanne, Pierre ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL TECHNIQUES; PROGRAMMING THEORY; STRUCTURED PROGRAMMING;

CALCULI; EXPLICIT SUBSTITUTIONS; NORMALIZATION;

COMPUTER PROGRAMMING;

EID: 0028022237     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)