A Relational Model of a Parallel and Non-deterministic lambda-Calculus

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00527245
Contributor : Thomas Ehrhard <>
Submitted on : Monday, October 18, 2010 - 3:57:55 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM

Identifiers

  • HAL Id : hal-00527245, version 1

Collections

Citation

Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto. A Relational Model of a Parallel and Non-deterministic lambda-Calculus. Logical Foundations of Computer Science, International Symposium, LFCS 2009, Jan 2009, Deerfield Beach, FL, USA, France. pp.107-121. ⟨hal-00527245⟩

Share

Metrics

Record views

107