Formal Ontologies and Coherent Spaces
暂无分享,去创建一个
[1] Jean-Yves Girard. Locus Solum: From the Rules of Logic to the Logic of Rules , 2001, CSL.
[2] Steffen Staab,et al. What Is an Ontology? , 2009, Handbook on Ontologies.
[3] Marco Romano,et al. Ontologies and Coherence Spaces , 2011, PRELUDE Project.
[4] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[5] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .
[6] J. Girard. The Blind Spot: Lectures on Logic , 2011 .