pi-calculus in (Co)Inductive Type Theories

Authors
Publication date
1 January 2001
Publisher

Abstract

Abstract is not available.

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Archivio istituzionale della ricerca - Università degli Studi di Udine

    redirect
    oaioai:air.uniud.it:11390/676896
    Last time updated on 12/11/2016