Tome 22 (1988) no. 3

Sommaire

Logic and functional programming by retractions
p. 271-310
A property of biprefix codes
p. 311-318
Yield-languages recognized by alternating tree recognizers
p. 319-339
Proposal for a natural formalization of functional programming concepts
p. 341-360
Deux propriétés combinatoires des nombres de Schröder
p. 361-388