Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Amini, Shahin"'
Autor:
Amini, Shahin, Erhard, Thomas
We study a classical version of PCF from a semantical point of view. We define a general notion of model based on categorical models of Linear Logic, in the spirit of earlier work by Girard, Regnier and Laurent. We give a concrete example based on th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae6f50bbb135d8cd72c28c847d04b3a5
