Search

Search for any character, topic, lesson, grade, or subject

Return:
  • Home
  • Search
  • Create
  • Library
  • Topics
  • Student
  • Teacher
  • Admin
  • Map
  • Sign in for more features
YourStory
HomeSearchCreateLibraryTopicsStudentTeacher
  • Sign in
  • Feedback
  • Contact Us!
character: Lambda Guide
topic: Logic and Proof in Lambda Calculus
grade: 10
subject: Computer Science
Learn
Actions

    Save

    Share this Chapter

    https://www.yourstory.education/learn?character=Lambda+Guide&topic=Logic+and+Proof+in+Lambda+Calculus&grade=10&subject=Computer+Science
    SearchCreate

character: Theorem Tester
topic: Understanding Variable Binding
grade: 10
subject: Computer Science
Learn
Actions

    Save

    Share this Chapter

    https://www.yourstory.education/learn?character=Theorem+Tester&topic=Understanding+Variable+Binding&grade=10&subject=Computer+Science
    SearchCreate

character: Proof Strategist
topic: Applications of Lambda Calculus in Computer Science
grade: 10
subject: Computer Science
Learn
Actions

    Save

    Share this Chapter

    https://www.yourstory.education/learn?character=Proof+Strategist&topic=Applications+of+Lambda+Calculus+in+Computer+Science&grade=10&subject=Computer+Science
    SearchCreate

character: Logic Learner
topic: Introduction to Logical Proofs
grade: 10
subject: Computer Science
Learn
Actions

    Save

    Share this Chapter

    https://www.yourstory.education/learn?character=Logic+Learner&topic=Introduction+to+Logical+Proofs&grade=10&subject=Computer+Science
    SearchCreate