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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1945-2018
012319452017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
  • 2016
To identify common variants contributing to normal variation in two specific domains of cognitive functioning, we conducted a… (More)
  • figure 1
  • table 2
Is this relevant?
2016
2016
Genetic analysis of a diverse set of 42 traits for flower (5), phenology (9), fruit quality (19), leaf (8) and disease resistance… (More)
  • figure 1
  • figure 2
Is this relevant?
2014
2014
Research activities on designing healthcare support systems in the field of ambient assisted living are mainly focused on… (More)
  • table 1
  • table 3
  • table 4
  • figure 1
  • figure 2
Is this relevant?
2013
2013
Knowledge about the effects of water and fertilizer on soil CO2 efflux (SCE) and Q 10 is essential for understanding carbon (C… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2003
2003
The past decade has given rise to a number of explicit substitution calculi. An important question of explicit substitution… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
2002
2002
We present a simply-typed λ-calculus with explicit substitutions and we give a fully formalised proof of its soundness and… (More)
  • figure 1
Is this relevant?
1998
1998
This paper deals with the application of constructive type theory to the theory of programming languages. By constructive type… (More)
Is this relevant?
1996
1996
We compare formalizations of an example from elementary category theory in the systems HOL (an implementation of Church's… (More)
Is this relevant?
1995
1995
The format of grammar presented by Montague (1974) is widely applied in the study of the logical structure of informal language… (More)
Is this relevant?
1995
1995
This paper studies the problem of coherence in category theory from a type-theoretic viewpoint. We rst show how a Curry-Howard… (More)
Is this relevant?