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

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.