Author: "Boudol, Gérard" / Journal: electronic notes in theoretical computer science - 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 '"Boudol, Gérard"' showing total 3 results

Start Over Author "Boudol, Gérard" Journal electronic notes in theoretical computer science

3 results on '"Boudol, Gérard"'

1. Reactive Concurrent Programming Revisited

Author: Amadio, Roberto M., Boudol, Gérard, Boussinot, Frédéric, and Castellani, Ilaria
Published: 2006
Full Text: View/download PDF

2. On Type Inference in the Intersection Type Discipline

Author: Boudol, Gérard and Zimmer, Pascal
Published: 2005
Full Text: View/download PDF

3. Termination, deadlock and divergence in the λ-calculus with multiplicities

Author: Boudol, Gerard and Laneve, Cosimo
Published: 1995
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results