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

(More)

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)

Is this relevant?

2016

2016

- J. M. Donoso, Roger Picañol, +4 authors Iban Eduardo
- Molecular Breeding
- 2016

Genetic analysis of a diverse set of 42 traits for flower (5), phenology (9), fruit quality (19), leaf (8) and disease resistance… (More)

Is this relevant?

2014

2014

- Sebastián Aced López, Fulvio Corno, Luigi De Russis
- Universal Access in the Information Society
- 2014

Research activities on designing healthcare support systems in the field of ambient assisted living are mainly focused on… (More)

Is this relevant?

2013

2013

- Xiaoxu Jia, Ming’an Shao, Xiaorong Wei
- Plant and Soil
- 2013

Knowledge about the effects of water and fertilizer on soil CO2 efflux (SCE) and Q 10 is essential for understanding carbon (C… (More)

Is this relevant?

2003

2003

- Fairouz Kamareddine, Qiao Haiyan
- Journal of Automated Reasoning
- 2003

The past decade has given rise to a number of explicit substitution calculi. An important question of explicit substitution… (More)

Is this relevant?

2002

2002

- Catarina Coquand
- Higher-Order and Symbolic Computation
- 2002

We present a simply-typed λ-calculus with explicit substitutions and we give a fully formalised proof of its soundness and… (More)

Is this relevant?

1998

1998

- Ana Bove
- 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

- Sten Agerholm, Ilya Beylin, Peter Dybjer
- TPHOLs
- 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

- Aarne Ranta
- TYPES
- 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

- Ilya Beylin, Peter Dybjer
- TYPES
- 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?