Skip to Content
STAX
Toggle navigation
STAX
Login
Home
About
Help
Contact
Search STAX
Go
Search Constraints
Start Over
Filtering by:
Creator
Allais, Guillaume Xavier
Remove constraint Creator: Allais, Guillaume Xavier
Type
Thesis
Remove constraint Type: Thesis
1
entry found
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Slideshow
Search Results
Syntaxes with binding, their programs, and proofs
Creator:
Allais, Guillaume Xavier
Date:
2022
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
Limit your search
Type
Thesis
[remove]
1
Resource type
Doctoral thesis
1
Creator
Allais, Guillaume Xavier
[remove]
1
Contributor
McBride, Conor
1
Department, School or Faculty
Department of Computer and Information Sciences
1
Date
2022
1