A semantics for a fine -calculus with De Bruijn indices, submitted for publication (0)

by F Kamareddine, R P Nederpelt