Travelled to:1 × Germany
1 × Japan
Collaborated with:∅ S.Colin D.Petit V.Poirriez R.Marcano G.Mariano
Talks about:call (2) platform (1) calculus (1) brillant (1) softwar (1) dualiti (1) develop (1) rigour (1) sourc (1) valu (1)
Person: Jérôme Rocheteau
DBLP: Rocheteau:J=eacute=r=ocirc=me
Contributed to:
2005
2005Wrote 2 papers:
- RTA-2005-Rocheteau #call-by #λ-calculus #μ-calculus
- λμ-Calculus and Duality: Call-by-Name and Call-by-Value (JR), pp. 204–218.
- SEFM-2005-ColinPPRMM #development #framework #open source #platform #xml
- BRILLANT : An Open Source and XML-based platform for Rigourous Software Development (SC, DP, VP, JR, RM, GM), pp. 373–382.