Marco Benini

Visiting JAIST

Currently, I’m in the Japanese Advanced Institute of Science and Technology, kindly hosted by Prof. H. Ishihara and Dr. T. Nemoto, as part of the CORCON research project.

In this period, I am going to work on formalising equality in a deep sense inside logically distributive categories, and to relate them with computation through type theory.

During this period, I will give a couple of seminars to the logic group in JAIST: one about logical distributive categories as a point-free foundation of mathematics, and one about the computation modulo a function. Both seminars are strictly related to the research I’m conducting here.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Information

This entry was posted on May 28, 2014 by in Category Theory, Mathematics, Seminars, Theoretical Computer Science and tagged , , .
%d bloggers like this: