References of "Anand, Abhishek"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailTowards a Formally Verified Proof Assistant
Anand, Abhishek; Rahli, Vincent UL

in Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (2014)

Detailed reference viewed: 171 (5 UL)
Full Text
See detailTowards a Formally Verified Proof Assistant (technical report)
Anand, Abhishek; Rahli, Vincent UL

Report (2014)

Detailed reference viewed: 86 (2 UL)
Full Text
Peer Reviewed
See detailA Type Theory with Partial Equivalence Relations as Types
Anand, Abhishek; Bickford, Mark; Constable, Robert L. et al

Scientific Conference (2014)

Detailed reference viewed: 72 (5 UL)
Full Text
Peer Reviewed
See detailA Generic Approach to Proofs about Substitution
Anand, Abhishek; Rahli, Vincent UL

in LFMTP 2014 (2014)

Detailed reference viewed: 147 (2 UL)
Full Text
Peer Reviewed
See detailFormal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
Rahli, Vincent UL; Bickford, Mark; Anand, Abhishek

in ITP 2013 (2013)

Detailed reference viewed: 103 (1 UL)