Zilu Tian
Digital twins of physical notes
Home
Projects
Lineage tracing for general data warehouse transformations
On the expressive power of programming language
Dependent type theory
Simple type theory
Towards a theory of type structure
Outline of a mathematical theory of computation
Generics of a higher kind
rss
facebook
twitter
github
gitlab
youtube
mail
spotify
lastfm
instagram
linkedin
google
google-plus
pinterest
medium
vimeo
stackoverflow
reddit
quora
quora
