Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
31686
search results - page 94 / 6338
»
Resource typing in Guru
Sort
relevance
views
votes
recent
update
View
thumb
title
139
click to vote
TYPES
2004
Springer
94
views
Formal Methods
»
more
TYPES 2004
»
Surreal Numbers in Coq
16 years 6 days ago
Download
types2004.lri.fr
Lionel Elie Mamane
claim paper
Read More »
121
click to vote
TYPES
2004
Springer
78
views
Formal Methods
»
more
TYPES 2004
»
Interfaces as Games, Programs as Strategies
16 years 6 days ago
Download
types2004.lri.fr
Markus Michelbrink
claim paper
Read More »
148
click to vote
TYPES
1998
Springer
117
views
Formal Methods
»
more
TYPES 1998
»
A Modal Lambda Calculus with Iteration and Case Constructs
15 years 11 months ago
Download
hal.inria.fr
Joëlle Despeyroux, Pierre Leleu
claim paper
Read More »
149
click to vote
TYPES
1993
Springer
104
views
Formal Methods
»
more
TYPES 1993
»
Proving Strong Normalization of CC by Modifying Realizability Semantics
15 years 11 months ago
Download
www.cs.nott.ac.uk
Thorsten Altenkirch
claim paper
Read More »
145
click to vote
TYPES
1995
Springer
106
views
Formal Methods
»
more
TYPES 1995
»
The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs
15 years 10 months ago
Download
www.mathematik.uni-muenchen.de
Ulrich Berger, Helmut Schwichtenberg
claim paper
Read More »
« Prev
« First
page 94 / 6338
Last »
Next »
