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)

17
checked on Nov 28, 2022

Google ScholarTM

Check


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