ALF (proof assistant)

Known as: ALF, ALF (theorem prover)

ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Review

2017

Review

2017

This is a book about social movements. Unlike most such books, it seeks to understand the phenomenon of social movements with a…

2013

Estudio prospectivo sobre 446 pacientes ancianos intervenidos de fractura de cadera, sometidos a un protocolo de uso racional de…

2005

2004

Summary The paper aims at presenting an innovative solution for control loop performance assessment and optimization. The…

2004

This article intends presenting an innovative solution for controlling the performance of tuning loops. The software product has…

1999

Breuillard Jean. Grannes Alf, Избранные труды по русскому и славянскому языкознанию. In: Revue des etudes slaves, tome 71…

1996

We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…

1990

1978

1968