Data.com: Aaron Stump
Job: Professor, Computer Science; City: Iowa City; Company: University of Iowa
MySpace Profile: Aaron Stump (1337aaron1337)
Pennsdale, PA
MySpace Profile: aaron stump ( )
Bean Station, TN
Twitter Profile: Aaron Stump (ajstumper)
Location: ÜT: ,
MySpace Profile: Aaron Stump ( )
Saint Paul, MN
Twitter Profile: aaron stump (@aaronstump) / Twitter
› aaronstump
Term Rewriting and Applications: 16th International Conference, RTA...
books.google.de
The Algebra of Equality Proofs Aaron Stump and Li-Yang Tan Dept. of Computer Science and Engineering Washington University in St. Louis St. Louis, Missouri ...
Checking Validities and Proofs with CVC and Flea - Aaron Stump -...
books.google.de
Checking validities and proofs with CVC and flea. Front Cover. Aaron Stump, Stanford University. Dept. of Computer Science.
Programming Language Foundations | Wiley
www.wiley.com
Aaron Stump is an associate professor of Computer Science at The University of Iowa.?He received his bachelor's degree from Cornell University in Philosophy ... › en-ad › Programming+Langu...
Validated Proof-Producing Decision Procedures - ScienceDirect
www.sciencedirect.com
Aaron Stump. Dept. of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO, USA. Available online 6 July ...
Self Types for Dependently Typed Lambda Encodings - Springer
link.springer.com
by P Fu · · Cited by 13 — Peng Fu &; Aaron Stump. Conference paper Accesses. 2 Citations. Part of the Lecture Notes in Computer Science book series (LNTCS,volume 8560) ... › chapter
The calculus of nominal inductive constructions « Name binding blog
namebinding.wordpress.com
By Edwin Westbrook, Aaron Stump and Evan Austin, from LFMTP 2009, available from Aaron Stump's website: Although name-bindings are ubiquitous in computer science, they are well-known to be cumbersome to encode ...
All web results to the name "Aaron Stump"
# Dualized Simple Type Theory
lmcs.episciences.org
by R McCleeary · — Harley Eades III ; Aaron Stump ; Ryan McCleeary - Dualized Simple Type Theory. lmcs: Logical Methods in Computer Science, April 27, 2017, Volume 12, ... › ...
User Aaron Stump - Theoretical Computer Science Stack Exchange
cstheory.stackexchange.com
Aaron Stump. Apparently, this user prefers to keep an air of mystery about them. 1. answer. 0. questions. 0. people reached. Member for 10 days. 5 profile views.
CADE Workshops, Tutorials, System Competition
complogic.cs.mcgill.ca
... Technical University of Catalonia), Albert Oliveras (LSI Department, Technical University of Catalonia), Aaron Stump (Computer Science, The University of ...
Publications
metatheorem.org
Harley Eades III, Aaron Stump, Ryan McCleeary. Dualized Simple Type Theory. Logical Methods in Computer Science, Submitted: November 19, [PDF] ...
Related search requests for Aaron Stump
| Stephanie Weirich Cesare Tinelli Harley Eades |
People Forename "Aaron" (31568) Name "Stump" (894) |
sorted by relevance / date