More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 2008: Torino, Italy

> Home > Conferences and Workshops > TYPES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/types/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2008
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro:
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5497, Springer 2009, ISBN 978-3-642-02443-6
- view
  authority control:
- export record
  dblp key:
  - conf/types/AnconaLZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AnconaLZ08
Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type Inference by Coinductive Logic Programming. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/types/AspertiR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AspertiR08
Andrea Asperti, Wilmer Ricciotti:
About the Formalization of Some Results by Chebyshev in Number Theory. 19-31
- view
  authority control:
- export record
  dblp key:
  - conf/types/BarrasCGHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BarrasCGHS08
Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini:
A New Elimination Rule for the Calculus of Inductive Constructions. 32-48
- view
  authority control:
- export record
  dblp key:
  - conf/types/CrespoBL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/CrespoBL08
Juan Manuel Crespo, Gustavo Betarte, Carlos Luna:
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. 49-63
- view
  authority control:
- export record
  dblp key:
  - conf/types/EndrullisGHKV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/EndrullisGHKV08
Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer:
Proving Infinitary Normalization. 64-82
- view
  authority control:
- export record
  dblp key:
  - conf/types/Ernst08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Ernst08
Erik Ernst:
First-Class Object Sets. 83-99
- view
  authority control:
- export record
  dblp key:
  - conf/types/SantoMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/SantoMP08
José Espírito Santo, Ralph Matthes, Luís Pinto:
Monadic Translation of Intuitionistic Sequent Calculus. 100-116
- view
  authority control:
- export record
  dblp key:
  - conf/types/FiorentiniMO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/FiorentiniMO08
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi:
Towards a Type Discipline for Answer Set Programming. 117-135
- view
  authority control:
- export record
  dblp key:
  - conf/types/GaboardiR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/GaboardiR08
Marco Gaboardi, Simona Ronchi Della Rocca:
Type Inference for a Polynomial Lambda Calculus. 136-152
- view
  authority control:
- export record
  dblp key:
  - conf/types/HaftmannW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/HaftmannW08
Florian Haftmann, Makarius Wenzel:
Local Theory Specifications in Isabelle/Isar. 153-168
- view
  authority control:
- export record
  dblp key:
  - conf/types/Houtmann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Houtmann08
Clément Houtmann:
Axiom Directed Focusing. 169-185
- view
  authority control:
- export record
  dblp key:
  - conf/types/Hovland08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Hovland08
Dag Hovland:
A Type System for Usage of Software Components. 186-202
- view
  authority control:
- export record
  dblp key:
  - conf/types/KaliszykW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/KaliszykW08
Cezary Kaliszyk, Freek Wiedijk:
Merging Procedural and Declarative Proof. 203-219
- view
  authority control:
- export record
  dblp key:
  - conf/types/BertotK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BertotK08
Yves Bertot, Ekaterina Komendantskaya:
Using Structural Recursion for Corecursion. 220-236
- view
  authority control:
- export record
  dblp key:
  - conf/types/Luo08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Luo08
Zhaohui Luo:
Manifest Fields and Module Mechanisms in Intensional Type Theory. 237-255
- view
  authority control:
- export record
  dblp key:
  - conf/types/WeegenM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/WeegenM08
Eelis van der Weegen, James McKinna:
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. 256-271
- view
  authority control:
- export record
  dblp key:
  - conf/types/Niqui08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Niqui08
Milad Niqui:
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. 272-288
- view
  authority control:
- export record
  dblp key:
  - conf/types/PaoliniP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/PaoliniP08
Luca Paolini, Mauro Piccolo:
A Process-Model for Linear Programs. 289-305
- view
  authority control:
- export record
  dblp key:
  - conf/types/RoversiV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/RoversiV08
Luca Roversi, Luca Vercelli:
Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. 306-322

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.