S'equentialit'e de l"evaluation formelle des -expressions (1978)

by G Berry
Venue:Proc. 3-e Colloque International sur la Programmation