Showing
1 - 2
results of
2
for search '
Mahboubi Assia
'
Skip to content
Toggle navigation
Nantilus
La BU
0
items
(Full)
Log Out
Login
FR
|
EN
All Fields
Title
Journal Title
Author
Subject
ISBN/ISSN
Publisher
Series
Dissertation note
Author
Mahboubi Assia
Showing
1 - 2
results of
2
for search '
Mahboubi Assia
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Select result number 1
1
Formalisation and Meta-Theory of Type Theory
by
Winterhalter Théo
,
Tabareau Nicolas
,
Sozeau Matthieu
,
Dowek Gilles
,
Spitters Bas
,
Mahboubi
Assia
,
Herbelin Hugo
2020
Call Number:
Loading...
Located:
Loading...
Get full text
Thesis
Online
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 2
2
Bidirectional Typing for the Calculus of Inductive Constructions
by
Lennon-Bertrand Meven
,
Tabareau Nicolas
,
McBride Conor
,
Krishnaswami Neel
,
Mahboubi
Assia
,
Herbelin Hugo
,
Geuvers Herman
Cockx Jesper
2022
Call Number:
Loading...
Located:
Loading...
Get full text
Thesis
Online
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Do you search an article ?
Check
our how-to
to find it.
Nothing found ?
Search
in other universities (SUDOC)
, ask for
an interlibrary loan
or submit
a purchase request
.
Related Subjects
thèses et écrits académiques
théorie des types
--
assistants à la preuve
calcul des constructions inductives
coq
induction (logique)
interpréteurs (logiciels)
typage bidirectionnel
typage graduel
×
Loading...