Mercoledì 10 aprile alle ore 16.00, nell'ambito dei Junior Seminars, Adrien Ragot (dottorando, Universitè Paris Nord) terrà il seminario dal titolo "Realisability: from constructive proofs to program specification".Abstract:In a first part - after recalling some…
Link identifier archive #link-archive-84483Junior Seminar
Link identifier archive #link-archive-thumb-soap-40920