Repetitive Reduction Patterns in Lambda Calculus with Letrec

J. Rochel, C.A. Grabmayer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of TERMGRAPH 2011, 2 April 2011, Saarbrücken, Germany
Editors	R Echahed
Pages	85-100
Number of pages	16
Publication status	Published - 2 Apr 2012

6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011

Keywords

@inproceedings{deabbf50727843608d34a3039169c811,

title = "Repetitive Reduction Patterns in Lambda Calculus with Letrec",

keywords = "Wijsbegeerte/Algemene Wetenschappen (WYSB)",

author = "J. Rochel and C.A. Grabmayer",

note = "6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011",

year = "2012",

month = apr,

day = "2",

language = "English",

pages = "85--100",

editor = "R Echahed",

booktitle = "Proceedings of TERMGRAPH 2011, 2 April 2011, Saarbr{\"u}cken, Germany",

}

TY - GEN

T1 - Repetitive Reduction Patterns in Lambda Calculus with Letrec

AU - Rochel, J.

AU - Grabmayer, C.A.

N1 - 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011

PY - 2012/4/2

Y1 - 2012/4/2

KW - Wijsbegeerte/Algemene Wetenschappen (WYSB)

M3 - Conference contribution

SP - 85

EP - 100

BT - Proceedings of TERMGRAPH 2011, 2 April 2011, Saarbrücken, Germany

A2 - Echahed, R

ER -