Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
Home
–
Contact
@Article{de-bruijn-72, author = "Nicolaas G. de Bruijn", title = "Lambda-Calculus Notation with Nameless Dummies: a Tool for Automatic Formula Manipulation with Application to the {Church-Rosser} Theorem", journal = "Indag. Math.", year = "1972", volume = "34", number = "5", pages = "381--392", }