Kuntal Das Barman


Organisation: INRIA
Unité de Recherche: Sophia Antipolis
Projet: lemme
Téléphone: (+334/04) 92 38 76 32
Fax: (+334/04) 92 38 50 60
E-mail: <Kuntal.Das_Barman@sophia.inria.fr>

My Doctorate thesis

Type theoretic semantics for programming languages (although the cover page is in French, the contents are in English).

A small work (TPHOLs 2002)

Report : Tex | Postscript | PDF

Presentation: Tex | Postscript | PDF

Codes : Coq file 1 | Coq file 2 | OCaml file

Divers

Lemme/Everest Seminars

My résumé : Tex | Postscript | PDF

Her résumé : Tex | Postscript | PDF

Photos from our marriage , few more and we infront of the Tajmahal .

My homepage in Angelfire