Leucoagaricus gongylophorus

In this paper, we show how to construct for a given consistent theory $U$ a $\Sigma^0_1$-predicate that both satisfies the L\"ob… Expand

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

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

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

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

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

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

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

 

Given its biographical and documentary purpose. Another Country will be of considerable value to Kreisel's admirers. The material… Expand