Author: "Lago, Ugo Dal" / Publisher: centre pour la communication scientifique directe (ccsd) - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Lago, Ugo Dal"' showing total 4 results

Start Over Author "Lago, Ugo Dal" Publisher centre pour la communication scientifique directe (ccsd)

4 results on '"Lago, Ugo Dal"'

1. On Higher-Order Probabilistic Subrecursion

Author: Breuvart, Flavien, primary, Lago, Ugo Dal, additional, and Herrou, Agathe, additional
Published: 2021
Full Text: View/download PDF

2. (Leftmost-Outermost) Beta Reduction is Invariant, Indeed

Author: Accattoli, Beniamino, primary and Lago, Ugo Dal, additional
Published: 2016
Full Text: View/download PDF

3. Linear Dependent Types and Relative Completeness

Author: Lago, Ugo Dal, primary and Gaboardi, Marco, additional
Published: 2012
Full Text: View/download PDF

4. On Constructor Rewrite Systems and the Lambda Calculus

Author: Lago, Ugo Dal, primary and Martini, Simone, additional
Published: 2012
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results