皆様

インスブリア大学のMarco Benini 先生の講演のお知らせです。
ふるってご参加ください。

問い合わせ先:
根元 多佳子
北陸先端科学技術大学院大学 情報科学研究科
e-mail: t-nemoto@jaist.ac.jp

------------------------------
--------------------
* JAIST Logic Seminar Series *

* This seminar is held as a part of the EU FP7 Marie Curie Actions
IRSES project CORCON.

Date: Thursday 22, May, 2014 15:30-17:00
Place: JAIST Collaboration Room 6 (I57-g)
(Access:http://www.jaist.ac.jp/english/location/access.html)
Speaker: Dr. Marco Benini

Title: Point-free foundations of Mathematics

Abstract: Is it possible to work with logical theories without
assuming the existence of a universe where to interpret terms?
This talk will positively answer to the above question in the case of
first-order, intuitionistic-based theories by providing a class of
models, defined inside Category Theory, such that they allow to
interpret theories in a sound and complete way.
Furthermore, the models explain the computational meaning of the
corresponding theories via a semantic version of the Curry-Howard
isomorphism. And their peculiar aspect is that they provide no
universe where to interpret terms.