Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

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

2015

2015

In this work we have identified, using mass spectrometry, two laccases produced by Leucoagaricus gongylophorus. One of them… Expand

2011

2011

Tropical leaf-cutter ants cultivate the fungus Attamyces bromatificus in a many-to-one, diffuse coevolutionary relationship where… Expand

2005

2005

The aim of this paper is not to provide any systematic reconstruction of Kreisel’s views but only to discuss some claims… Expand

2003

2003

The lepidopteran Amydria anceps Walsingham (Acrolophidae) is reported for the first time as a myrmecophile. Its gregarious larvae… Expand

2002

2002

Through his own contributions (individual and collaborative) and his extraordinary personal influence, Georg Kreisel did perhaps… Expand

1994

1994

Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisati

Models of Lambda Calculi and Linear Logic: T his thesis is an investigation into models of typed-calculi and of linear logic. The… Expand

1994

1994

The remarkable properties of certain tops are due to a conservation law which originates in the geometry of the frictional forces… Expand

1993

1993

This paper is motivated by the discovery that an appropriate quotient SN of the strongly normalising untyped λ*-terms (where * is… Expand

1975

1975

We consider a principle of constructivity RED which states that every decidable predicate over the natural numbers is (weakly… Expand