Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,272,594 papers from all fields of science
Search
Sign In
Create Free Account
System F
Known as:
Higher-order polymorphic lambda calculus
, Second order lambda calculus
, System Fω
Expand
System F, also known as the (Girard–Reynolds) polymorphic lambda calculus or the second-order lambda calculus, is a typed lambda calculus that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
37 relations
Bounded quantifier
Calculus of constructions
Categorical logic
Church encoding
Expand
Broader (2)
Lambda calculus
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Management of tomato damping-off using natural plant extracts, Trichoderma harzianum and selected fungicides in Penjween, Sulaimani Governorate, Kurdistan, Iraq
J. H. Ismael
,
S. H. Mahmood
2016
Corpus ID: 55650371
Tomato seedlings were found epidemically infected with damping-off disease at four locations (Kanimasyan, Kanishaban, Kanisev…
Expand
2014
2014
An Analysis Of Students’ Errors In Using English Tenses (A Case Study At The Second Grade Students Of Smp Yapera An-Nurmaniyah, Ciledug)
Ratna Komala Lia
2014
Corpus ID: 63816500
.............................................................. i AKNOWLEDGEMENT…
Expand
Review
2012
Review
2012
The Froggattimyia-Anagonia genus group (Diptera: Tachinidae)
D. H. Colless
2012
Corpus ID: 88382663
The genera here reviewed have in common many morphological attributes, and in both, all species are parasites of the larvae of…
Expand
2010
2010
Mycotoxin accumulation and corresponding ear rot rating in three maturity groups of European maize inoculated by two Fusarium species
Martin Löffler
,
T. Miedaner
,
Bettina Kessel
,
M. Ouzunova
Euphytica
2010
Corpus ID: 22881741
Fusarium graminearum (FG) and F. verticillioides (FV) produce the mycotoxins deoxynivalenol (DON), zearalenone (ZEA) and…
Expand
Review
2008
Review
2008
Charged hadron multiplicity fluctuations in Au plus Au and Cu plus Cu collisions from s(NN)=22.5 to 200 GeV
A. Adare
,
E. al.
2008
Corpus ID: 55929348
A comprehensive survey of event-by-event fluctuations of charged hadron multiplicity in relativistic heavy ions is presented. The…
Expand
Review
2008
Review
2008
FIRST RECORD OF FUSARIUM NIVALE (FR.) CES. ASSOCIATED WITH MANGO MALFORMATION DISEASE (MMD) IN PAKISTAN
M. I. Khaskheli
,
M. H. Soomro
2008
Corpus ID: 73534657
During a survey of mango plantations in Sindh for investigating the association of fungi with mango malformation disease (MMD…
Expand
2001
2001
Backing up control of truck-trailer system
J. Yi
,
N. Yubazaki
,
K. Hirota
IEEE International Conference on Fuzzy Systems
2001
Corpus ID: 206667598
A fuzzy controller for backing up control of truck-trailer system is proposed based on the single input rule modules dynamically…
Expand
1998
1998
A strictly variational procedure for cluster embedding based on the extended subspace approach
U. Gutdeutsch
,
U. Birkenheuer
,
N. Rösch
1998
Corpus ID: 55560824
Even if an isolated defect results only in a local perturbation of the electron density, the wave function and the first-order…
Expand
1998
1998
Pathogenic, Genetic and Molecular Characterisation of Fusarium oxysporum f.sp. lilii
R. P. Baayen
,
M. Förch
,
C. Waalwijk
,
P. Bonants
,
H. Löffler
,
E. Roebroeck
European journal of plant pathology
1998
Corpus ID: 43388645
Isolates of Fusarium oxysporum from lily were screened for pathogenicity, vegetative compatibility and DNA restriction fragment…
Expand
1990
1990
Application of redox system based on nitroxides to organic synthesis
M. Yamaguchi
,
T. Miyazawa
,
T. Takata
,
T. Endo
1990
Corpus ID: 55467084
Abstract