Normalization bounds in rudimentary linear lambda calculus

Maria Maietti, Eike Ritter, JS Royer

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	16
Number of pages	1
Publication status	Published - 1 Jan 2002
Event	Proceedings of the Fourth International Workshop on Computational Complexity - Duration: 1 Jan 2002 → …

Conference	Proceedings of the Fourth International Workshop on Computational Complexity
Period	1/01/02 → …

Cite this

@conference{d722ad6b52c54468afdeb6970864816a,

title = "Normalization bounds in rudimentary linear lambda calculus",

author = "Maria Maietti and Eike Ritter and JS Royer",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "16",

note = "Proceedings of the Fourth International Workshop on Computational Complexity ; Conference date: 01-01-2002",

}