Chalmers Research

Filtrera träfflistan

Institution

Samförfattande organisation

Publikationstyp

År

Inga filter valda

Visar 28 publikationer

2016

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Ernesto Copello, Alvaro Tasistro, Nora Szasz et al

Electronic Notes in Theoretical Computer Science, p. 109-124

Artikel i vetenskaplig tidskrift

2016

Partiality and recursion in interactive theorem provers – an overview

Ana Bove, Alexander Krauss, Matthieu Sozeau

Mathematical Structures in Computer Science (1), p. 38-88

Artikel i vetenskaplig tidskrift

2015

Principles of Alpha-Induction and Recursion for the Lambda Calculus in Constructive Type Theory

Ernesto Copello, Alvaro Tasistro, Nora Szasz et al

LSFA, p. 16-undefined

Paper i proceeding

2012

Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 104-118

Paper i proceeding

2010

Proceedings of the workshop on Partiality and Recursion in Interactive Theorem Provers

Ana Bove, Ekaterina Komendantskaya, Milad Niqui

Bok

2009

Embedding a Logical Theory of Constructions in Agda

Ana Bove, Peter Dybjer, Andres Sicard-Ramirez

Proceedings of the 2009 ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV) 2009, p. 59-66

Paper i proceeding

2009

Another Look at Function Domains

Ana Bove

Electronic Notes in Theoretical Computer Science (ENTCS), p. 61-74

Övrigt konferensbidrag

2009

Language Engineering and Rigorous Software Development

Ana Bove, Luis Barbosa, Alberto Pardo et al

Samlingsverk (redaktörskap)

2009

Dependent Types at Work

Ana Bove, Peter Dybjer

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 57-99

Paper i proceeding

2009

A Brief Overview of Agda - A Functional Language with Dependent Types

Ana Bove, Peter Dybjer, Ulf Norell

Theorem Proving in Higher Order Logics (LNCS), p. 73--78-undefined

Övrigt konferensbidrag

Ladda ner till din dator

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Export i APA, Vancouver, IEEE som text, RTF/Word eller html-format.

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

RSS-flöde

Använder du en RSS-läsare eller vill göra en integration kan du använda denna länk som ger dig de senaste publikationerna i RSS-format.

Publikationer för Chalmers tekniska högskola

Det finns inga projekt som matchar sökfrågan Persons.PersonData.IdentifierCid:bove

Det kan finnas fler projekt, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.

Ett tekniskt fel uppstod i sökning efter projekt.

Detta kan bero på att ett fältnamn som är angivet i söksträngen inte existerar.

Det finns inga personer som matchar sökfrågan Persons.PersonData.IdentifierCid:bove