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 Mar 21, 2023

Google ScholarTM


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