In type theory, a branch of mathematical logic, in a given typed calculus, the type inhabitation problem for this calculus is the following problemâ€¦Â (More)

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

2017

2017

- Andrej Dudenhefner, Jakob Rehof
- ArXiv
- 2017

We revisit the undecidability result of rank 3 intersection type inhabitation (Urzyczyn 2009) in pursuit of two goals. First, weâ€¦Â (More)

Is this relevant?

2015

2015

- Sandra Alves, Sabine Broda
- 2015

Type-inhabitation is a topic of major importance, due to its close relationship to provability in logical systems and has beenâ€¦Â (More)

Is this relevant?

2015

2015

- Sandra Alves, Sabine Broda
- Inf. Process. Lett.
- 2015

This short note compares two different methods for exploring type-inhabitation in the simply typed lambda-calculus, highlightingâ€¦Â (More)

Is this relevant?

Highly Cited

2013

Highly Cited

2013

- Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac
- PLDI
- 2013

Developing modern software typically involves composing functionality from existing libraries. This task is difficult becauseâ€¦Â (More)

Is this relevant?

2012

2012

Developing modern software applications typically involves composing functionality from existing libraries. This task isâ€¦Â (More)

Is this relevant?

2012

2012

Developing modern software applications typically involves composing functionality from existing libraries. This task isâ€¦Â (More)

Is this relevant?

Review

2011

Review

2011

Diversity of coral reef fish at Rapa Island (French Polynesia). The South Pacific island of Rapa (27Â°36'S, 144Â°21'W) is theâ€¦Â (More)

Is this relevant?

2008

2008

- Zofia Kostrzycka, Marek Zaionc
- Studia Logica
- 2008

This paper presents a systematic approach for obtaining results from the area of quantitative investigations in logic and typeâ€¦Â (More)

Is this relevant?

2004

2004

- J. S. H. Klompen
- Systematic Parasitology
- 2004

A phylogenetic analysis of relationships is carried out among the skin-inhabiting mites presently included in the familiesâ€¦Â (More)

Is this relevant?

2000

2000

- Malgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc
- Mathematical Structures in Computer Science
- 2000

We consider types and typed lambda calculus over a nite number of ground types. We are going to investigate the size of theâ€¦Â (More)

Is this relevant?