KTUGFaq

KTUG FAQ

"Lambda calculus in TEX"¿Í ºñ½ÁÇÑ

·Î±×ÀÎ:
ºñ¹Ð¹øÈ£:
°¡ÀÔ
A plucked goose doesn't lay golden eggs.
MakingTeXKNOPPIX&value=Yhchoe/¼³Ä¡°¡À̵åKC2007/ѱڵ幮&value=KC2007/ÇѱÛÄڵ幮Á¦FPtablePDFTeXKarnes/2008-06&value=CygWin¿¡¼­¼³Ä¡Çϱ⠛ Lambda calculus in TEX
ÆäÀÌÁö¸¦ ãÀ¸½Ç ¼ö ¾øÀ¸¸é¸ðµç ¸ÞŸÀ§Å° °Ë»ö (¸Å¿ì ´À¸²)

óÀ½°ú ¸¶Áö¸·ºÎºÐÀÇ À̸§ÀÌ Æ÷ÇÔµÈ ÆäÀÌÁö...

  1. Lambda
  2. LambdaCalculusInTeX
ÆäÀÌÁö¸¦ ãÀ¸½Ç ¼ö ¾øÀ¸¸é¸ðµç ¸ÞŸÀ§Å° °Ë»ö (¸Å¿ì ´À¸²)