Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540415176, 9783540445579

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specification of a Smart Card Operating System

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_5 ◽

2000 ◽

pp. 77-93 ◽

Cited By ~ 1

Author(s):

Gustavo Betarte ◽

Cristina Cornes ◽

Nora Szasz ◽

Alvaro Tasistro

Keyword(s):

Operating System ◽

Smart Card

Download Full-text

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-Rule

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_3 ◽

2000 ◽

pp. 41-60 ◽

Cited By ~ 2

Author(s):

Steffen van Bakel ◽

Franco Barbanera ◽

Maribel Fernández

Keyword(s):

Rewrite Systems ◽

Type Assignment

Download Full-text

A Predicative Strong Normalisation Proof for a λCalculus with Interleaving Inductive Types

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_2 ◽

2000 ◽

pp. 21-40 ◽

Cited By ~ 4

Author(s):

Andreas Abel ◽

Thorsten Altenkirch

Keyword(s):

Inductive Types

Download Full-text

Formalising Formulas-as-Types-as-Objects

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_11 ◽

2000 ◽

pp. 174-193

Author(s):

Qiao Haiyan

Download Full-text

Specification and Verification of a Formal System for Structurally Recursive Functions

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_1 ◽

2000 ◽

pp. 1-20 ◽

Cited By ~ 5

Author(s):

Andreas Abel

Keyword(s):

Formal System ◽

Recursive Functions ◽

Specification And Verification

Download Full-text

Memory Management: An Abstract Formulation of Incremental Tracing

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_9 ◽

2000 ◽

pp. 148-161

Author(s):

Healfdene Goguen ◽

Richard Brooksby ◽

Rod Burstall

Keyword(s):

Memory Management ◽

Abstract Formulation

Download Full-text

Computer-Assisted Mathematics at Work

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_4 ◽

2000 ◽

pp. 61-76 ◽

Cited By ~ 1

Author(s):

Gertrud Bauer ◽

Markus Wenzel

Keyword(s):

Computer Assisted

Download Full-text

A Co-inductive Approach to Real Numbers

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_7 ◽

2000 ◽

pp. 114-130 ◽

Cited By ~ 5

Author(s):

Alberto Ciaffaglione ◽

Pietro Di Gianantonio

Keyword(s):

Real Numbers ◽

Inductive Approach

Download Full-text

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_8 ◽

2000 ◽

pp. 131-147 ◽

Cited By ~ 9

Author(s):

David Delahaye

Keyword(s):

Information Retrieval

Download Full-text

Implementation Techniques for Inductive Types in Plastic

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/3-540-44557-9_6 ◽

2000 ◽

pp. 94-113 ◽

Cited By ~ 1

Author(s):

Paul Callaghan ◽

Zhaohui Luo

Keyword(s):

Implementation Techniques ◽

Inductive Types

Download Full-text

Lecture Notes in Computer Science - Types for Proofs and ProgramsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specification of a Smart Card Operating System

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-Rule

A Predicative Strong Normalisation Proof for a λCalculus with Interleaving Inductive Types

Formalising Formulas-as-Types-as-Objects

Specification and Verification of a Formal System for Structurally Recursive Functions

Memory Management: An Abstract Formulation of Incremental Tracing

Computer-Assisted Mathematics at Work

A Co-inductive Approach to Real Numbers

Information Retrieval in a Coq Proof Library Using Type Isomorphisms

Implementation Techniques for Inductive Types in Plastic

Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications