Title
Isbell Duality for Refinement Types.
Year
Venue
Field
2015
CoRR
Pushforward (differential),Discrete mathematics,Embedding,Negation,Algorithm,Proof theory,Functor,Presheaf,Duality (optimization),Pullback,Mathematics
DocType
Volume
Citations 
Journal
abs/1501.05115
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Paul-andré Melliès139230.70
Noam Zeilberger200.68