Old Web
English
Sign In
Acemap
>
Paper
>
Meaningless Terms in Rewriting.
Meaningless Terms in Rewriting.
1999
Richard Kennaway
Vincent Van Oostrom
Fer-Jan de Vries
Keywords:
Binary lambda calculus
Semi-Thue system
Algorithm
Confluence
System F
Church encoding
Lambda calculus
Computer science
Rewriting
Typed lambda calculus
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
33
Citations
NaN
KQI
[]