Proving Infinitary Normalization

J. Endrullis, C.A. Grabmayer, R.D.A. Hendriks, J.W. Klop, R.C. de Vrijer

Research output: Contribution to Journal › Article › Academic › peer-review

224 Downloads (Pure)

Original language	English
Pages (from-to)	64-82
Journal	Lecture Notes in Computer Science
Volume	5497
DOIs	https://doi.org/10.1007/978-3-642-02444-3_5
Publication status	Published - 2009

Proceedings title: Types for Proofs and Programs

Access to Document

@article{f4e773a56bd5430ab31acb6c53bd38a0,

title = "Proving Infinitary Normalization",

author = "J. Endrullis and C.A. Grabmayer and R.D.A. Hendriks and J.W. Klop and {de Vrijer}, R.C.",

note = "Proceedings title: Types for Proofs and Programs",

year = "2009",

doi = "10.1007/978-3-642-02444-3_5",

language = "English",

volume = "5497",

pages = "64--82",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Proving Infinitary Normalization

AU - Endrullis, J.

AU - Grabmayer, C.A.

AU - Hendriks, R.D.A.

AU - Klop, J.W.

AU - de Vrijer, R.C.

N1 - Proceedings title: Types for Proofs and Programs

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-02444-3_5

DO - 10.1007/978-3-642-02444-3_5

M3 - Article

SN - 0302-9743

VL - 5497

SP - 64

EP - 82

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -