Radboud Repository
Radboud Repository
→
Collections Radboud University
→
Non RU Publications
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
Fulltext:
104051.pdf
Format:
PDF
Description:
preprint version
Title:
Modularity of strong normalization and confluence in the algebraic-λ-cube
Author(s):
Barbanera, F.
;
Fernandez, M.
;
Geuvers, J.H.
Publication year:
1994
In:
Ninth annual IEEE symposium on Logic in Computer Science, July 4-7,1994, Paris, France : proceedings, pp. 406-415
Publisher:
[S.l.] : IEEE
DOI:
http://dx.doi.org/10.1109/lics.1994.316049
Annotation:
LICS '94: Symposium on Logic in Computer Science, 4-7 July, 1994, Paris, France
Publication type:
Article in monograph or in proceedings
Please use this identifier to cite or link to this item :
https://hdl.handle.net/2066/104051
Display more details
Subject:
Data Science
Organization:
Foundations
Software Science
Book title:
Ninth annual IEEE symposium on Logic in Computer Science, July 4-7,1994, Paris, France : proceedings
Page start:
p. 406
Page end:
p. 415
This item appears in the following Collection(s)
Non RU Publications
[11786]
Search Repository
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics