| Authors: | Dezani-Ciancaglini, Mariangiola Ghilezan, Silvia |
Title: | A lambda model characterizing computational behaviours of terms | First page: | 100 | Last page: | 118 | Conference: | Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001 | Issue Date: | 2001 | Rank: | M32 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.