Grant: Bilateral Exchange Program (H)
University of Ottawa
$1,217.00
Linear logic and proof theory in the semantics of programming languages; visit at the University of Cambridge, Isaac Newton Institute for Mathematical Sciences, Cambridge, U.K.
EF 1995-96
Résumé
No summary - Aucun sommaire
Programme
Bilateral Exchange Program (H)
Bénéficiaire
Emplacement
Ontario, Canada
Type de bénéficiaire
Academia
Type
Grant
Source
NSERC's Awards Data
Tel que publié
Application id
180849-1995
Name nom
Scott, Philip
Department département
Mathematics and Statistics
Organization id
28
Institution établissement
University of Ottawa
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
1995
Competition year année de concours
1995
Award amount
1217
Program id
BEFTR
Program nane en
Bilateral Exchange Program (H)
Program name fr
Programme d'échanges bilatéraux (H)
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
106
Committee name en
International Relations (H)
Committee name fr
Relations internationales (H)
Area of application code
9999
Area of application group en
Not available
Area of application group fr
Non disponible
Area of application en
Not available
Area of application fr
Non disponible
Research subject code
9999
Research subject group en
Not available
Research subject group fr
Non disponible
Research subject en
Not available
Research subject fr
Non disponible
Partie
1
Nb partie
1
Application title
Linear logic and proof theory in the semantics of programming languages; visit at the University of Cambridge, Isaac Newton Institute for Mathematical Sciences, Cambridge, U.K.
Keyword
NA
Application summary
No summary - Aucun sommaire
