%0 Journal Article
%T A crash course in λ-calculus<br>A Crash Course in λ-Calculus
%A G Huet
%A <br>G.Huet
%J 计算机科学技术学报
%D 1998
%I 
%X Thetalkpresentedthebasicresultsofλ-calculus.Aftergivingthesyntaxofterms(concretesyntax,abstractsyntaxusingdeBruijn'sindices)andthedefinitionofsubstitution,theβ-reductionrelation(strongreduction)ispresentedanditsmainpropertieslisted:.parallel-moveslemma,leadingtoconfluenceandtheChurch-Rosserpropertyofβ-conversion,anduniquenessofnormalforms.standardisationandthecompletenessofthenormalreductionstrategy(leftmost-outermost).finally,η-conversionisdiscussed,andtheseparabilityproperty(Bohmtheorem…
%K 组合学
%K λ－计算
%K Bohm理论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=0BD724EC006C854FC31E9B9CB36A97A2&yid=8CAA3A429E3EA654&vid=FC0714F8D2EB605D&iid=B31275AF3241DB2D&sid=DEBDB7F30FBA7F9B&eid=DEBDB7F30FBA7F9B&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=1