Search results

Articles (7)

Journals (0)

1-7 of 7 results for Coq Proof Assistant

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2022

Getting There and Back Again

Olivier Danvy

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization

Andrej Dudenhefner, Jakob Rehof

Fundamenta Informaticae

Retricted access

Research article

First published 2005-2

Inductive types in the Calculus of Algebraic Constructions

Frédéric Blanqui

Fundamenta Informaticae

Retricted access

Research article

First published 2008-2

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2020-02-06

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2018

Negative trust for conflict resolution in software management

Giuseppe Primiero, Jaap Boender

Web Intelligence

Retricted access

Research article

First published 2012-12

The Algebra of Expansion

Sébastien Carlier, J.B. Wells

Fundamenta Informaticae