pi-calculus in (Co)Inductive Type Theories

HONSELL F

•

SCAGNETTO, Ivan

•

MICULAN, Marino

2001

journal article

Periodico

THEORETICAL COMPUTER SCIENCE

WOS

WOS:000166519400004

Archivio

http://hdl.handle.net/11390/676896

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-0034916645

Diritti

metadata only access

Visualizzazioni

1

Data di acquisizione
Jun 8, 2022