search result

Cover von A Quantitative Version of Simple Types

A Quantitative Version of Simple Types

Year: 2023
Media group: LIPIcs
Cover von Intersection Types and Denotational Semantics

Intersection Types and Denotational Semantics

An Extended Abstract (Invited Paper)
Year: 2018
Media group: LIPIcs
Cover von Standardization of a Call-By-Value Lambda-Calculus

Standardization of a Call-By-Value Lambda-Calculus

Year: 2015
Media group: LIPIcs
Cover von Computer Science Logic 2013 (CSL 2013)
CSL 2013 : September 2 - 5, 2013, Torino, Italy
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 23
Media group: LIPIcs
Cover von Typed lambda calculi and applications
8th international conference : Paris, France, June 26 - 28, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4583
Media group: MONOGRAPHIE
Cover von The parametric lambda calculus
a metamodel for computation
Author: Ronchi della Rocca, Simona; Paolini, Paolo Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Texts in theoretical computer science : an EATCS series
Media group: MONOGRAPHIE
Cover von Theoretical computer science
7th Italian conference, Torino, Italy, October 4 - 6, 2001, proceedings
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2202
Media group: MONOGRAPHIE
Cover von Automata, languages and programming
16th international colloquium : Stresa, Italy, July 11 - 15, 1989 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 372
Media group: MONOGRAPHIE
Cover von Call-By-Value, Again!

Call-By-Value, Again!

Year: 2021
Media group: LIPIcs
Cover von Solvability in a Probabilistic Setting (Invited Talk)

Solvability in a Probabilistic Setting (Invited Talk)

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0