Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Archival Material / Manuscript
|
From Action Calculi to Linear LogicBarber, Andrew G ; Gardner, Phillipa ; Hasegawa, Masahito ; Plotkin, GordonSPRINGER-VERLAG 1998Texto completo disponível |
|
2 |
Material Type: Archival Material / Manuscript
|
A Framework for Defining LogicsPlotkin, Gordon ; Honsell, Furio ; Harper, RobertASSOC COMPUTING MACHINERY, NEW YORK 1993Texto completo disponível |